第八章編碼與測試

中國石油大學(xué)勝利學(xué)院設(shè)計測試用例八、編碼與測試第八章編碼和測試編碼概述編碼語言與編碼工具編碼示例

測試的基本概念黑盒測試和白盒測試測試用例設(shè)計多模塊程序的測試策略面向?qū)ο笙到y(tǒng)的測試中國石油大學(xué)勝利學(xué)院8.1編碼概述1、編碼的目的

編碼設(shè)計模型---->源程序---->可執(zhí)行代碼(不可執(zhí)行的)

(可執(zhí)行的)2、編碼的過程熟悉所選語言的功能和程序開發(fā)環(huán)境

仔細(xì)閱讀設(shè)計模型弄清要編碼的模塊的外部接口與內(nèi)部過程中國石油大學(xué)勝利學(xué)院3、編碼的風(fēng)格追求“聰明”和“技巧”---〉提倡“簡明”和“直接”

使用標(biāo)準(zhǔn)的控制結(jié)構(gòu)

清晰的前提下求取效率：Kernighan《程序設(shè)計風(fēng)格要素》Makeitrightbeforeyoumakeitfaster.（先求正確后求快）Makeitclearbeforeyoumakeitfaster.

（先求清楚后求快）Keepitrightwhenyoumakeitfaster.

（求快不忘保持程序正確）Keepitsimple

tomakeitfaster.

（保持程序簡單以求快）don’tsacrificeclarityfor“efficiency”.

（書寫清楚，不要為“效率”犧牲清楚）說明：程序的清晰第一，而不是效率第一8.1編碼概述中國石油大學(xué)勝利學(xué)院3、編碼的風(fēng)格Kernighan《程序設(shè)計風(fēng)格要素》把編碼風(fēng)格歸結(jié)為：使用標(biāo)準(zhǔn)的控制結(jié)構(gòu)

采用單入口、單出口標(biāo)準(zhǔn)結(jié)構(gòu)實現(xiàn)源程序的文檔化（內(nèi)部文檔編制、共同遵守）

有意義的變量名稱（命名規(guī)約）

適當(dāng)?shù)淖⑨專ǘ吻白⑨?、行尾注釋?/p>

標(biāo)準(zhǔn)的書寫格式（縮進(jìn)、注釋段與程序段及程序段之間加空行、每行只寫一條代碼）8.1編碼概述中國石油大學(xué)勝利學(xué)院3、編碼的風(fēng)格滿足用戶友好的輸入輸出風(fēng)格輸入：

程序?qū)斎霐?shù)據(jù)進(jìn)行有效檢驗；

輸入格式力求簡單、一致，并盡可能采用自由格式輸入；

使用輸入結(jié)束或文件結(jié)束標(biāo)志終止輸入，不要讓用戶自己來計算輸入的項數(shù)；

向用戶顯示“請輸入”等提示信息，并說明邊界

對多個輸入項的組合進(jìn)行檢查，如“三角形的三條邊”輸出：

標(biāo)志所有的輸出數(shù)據(jù)，加以必要的說明；

所有報表、報告具有良好的格式；8.1編碼概述中國石油大學(xué)勝利學(xué)院8.2編碼語言與編碼工具1、編碼語言的發(fā)展面向機(jī)器的語言高級語言(第3代)甚高級語言機(jī)器語言(第1代)匯編語言(第2代)結(jié)構(gòu)化語言基礎(chǔ)語言面向?qū)ο笳Z言第4代語言中國石油大學(xué)勝利學(xué)院2、常用的編碼語言基礎(chǔ)語言FORTRANCOBOLBASIC結(jié)構(gòu)化語言PascalCAda面向?qū)ο笳Z言C++JavaC#8.2編碼語言與編碼工具中國石油大學(xué)勝利學(xué)院3、程序設(shè)計語言的選擇

要為待開發(fā)項目選擇合適的程序設(shè)計語言，應(yīng)充分考慮到項目的各種需求，結(jié)合各種語言的心理特性、工程特性、技術(shù)特性以及應(yīng)用特點，盡量選取實現(xiàn)效率高且易于理解和維護(hù)的語言。選擇編碼語言的標(biāo)準(zhǔn)應(yīng)用領(lǐng)域算法與計算復(fù)雜性數(shù)據(jù)結(jié)構(gòu)的復(fù)雜性效率的考慮8.2編碼語言與編碼工具中國石油大學(xué)勝利學(xué)院適用各類應(yīng)用領(lǐng)域的語言年代應(yīng)用領(lǐng)域主要語言其他語言20世紀(jì)60年代商業(yè)COBOLAssembler科學(xué)計算FORTRANALGOL,BASIC,APL系統(tǒng)AssemblerForth人工智能LISPSNOBOL

現(xiàn)代商業(yè)COBOL、C++、Java、電子表格C、PL/1科學(xué)計算FORTRAN、C、C++、JavaBASIC系統(tǒng)C、C++、JavaAda、Modula人工智能LISP、Prolog

8.2編碼語言與編碼工具中國石油大學(xué)勝利學(xué)院4、基于4GL的編碼工具EclipseNetBeansVisualStudioDelphiPowerbuilder運(yùn)用網(wǎng)絡(luò)，查找相關(guān)資料，了解以上語言的出處、特點和適用場合。8.2編碼語言與編碼工具中國石油大學(xué)勝利學(xué)院8.3編碼示例網(wǎng)上購物系統(tǒng)將設(shè)計模型轉(zhuǎn)換為源代碼注冊維護(hù)購物車中國石油大學(xué)勝利學(xué)院軟件開發(fā)過程必須伴有質(zhì)量保證活動。軟件測試是軟件質(zhì)量保證的關(guān)鍵元素，代表了規(guī)約、設(shè)計和編碼的最終檢查。有關(guān)測試的思考題:軟件測試需要什么樣的專業(yè)基礎(chǔ)?測試的研究內(nèi)容是什么？測試的目標(biāo)是什么？開發(fā)一個測試系統(tǒng)之前你是否明白:

可以測試什么？

應(yīng)該測試什么？最終能夠測試什么？8.4測試的基本概念

軟件產(chǎn)品最大的成本是檢測軟件錯誤、修正軟件錯誤的成本。

在整個軟件開發(fā)中，測試工作量一般占30%～40%，甚至≥50%。

在人命關(guān)天的軟件(如飛機(jī)控制、核反應(yīng)堆等）測試所花費(fèi)的時間往往是其它軟件工程活動時間之和的三到五倍。8.4測試的基本概念軟件是人編的—所以不完美，實例:1994-1995,迪斯尼的獅子王系統(tǒng)不支持問題Intel的pentium處理器1994年浮點除法缺陷2000年8月28日，1.13MHZ處理器一個可能導(dǎo)致運(yùn)行程序被掛起的執(zhí)行指令問題1999年12月3日,美國航天局火星極地登陸飛船失蹤1991年愛國者導(dǎo)彈防御系統(tǒng)系統(tǒng)時鐘錯誤積累造成跟蹤系統(tǒng)失去精確度千年蟲,世界各地解決2000年錯誤超過數(shù)億美元8.4測試的基本概念人們對軟件測試認(rèn)識的五個階段：階段1—測試=調(diào)試階段2—測試是證明軟件正確階段3—測試是發(fā)現(xiàn)軟件中錯誤階段4—測試是減小軟件不工作的風(fēng)險（是度量軟件質(zhì)量要素的過程）階段5—測試可產(chǎn)生低風(fēng)險的軟件的一種認(rèn)識上的訓(xùn)練8.4測試的基本概念8.4測試的基本概念1、什么是軟件測試？動態(tài)查找程序代碼中的各類錯誤和問題的過程測試的目的與任務(wù)

目的：發(fā)現(xiàn)程序的錯誤；任務(wù)：通過在計算機(jī)上執(zhí)行程序，暴露程序中潛在的錯誤。中國石油大學(xué)勝利學(xué)院

G.J.Myers在<軟件測試技巧>中認(rèn)為:1.測試是為了尋找錯誤而運(yùn)行程序的過程。2.一個好的測試用例是指很可能找到迄今為止尚未發(fā)現(xiàn)的錯誤的測試。3.一個成功的測試是揭示了迄今為止尚未發(fā)現(xiàn)的錯誤的測試。E.W.Dijkstra指出:“程序測試能證明錯誤的存在,但不能證明錯誤不存在。”測試的目的是發(fā)現(xiàn)程序中的錯誤,是為了證明程序有錯,而不是證明程序無錯。8.4測試的基本概念中國石油大學(xué)勝利學(xué)院把證明程序無錯當(dāng)作測試目的不僅是不正確的,完全做不到的，而且對做好測試沒有任何益處，甚至是十分有害的。

軟件測試要設(shè)法使軟件發(fā)生故障,暴露軟件錯誤。測試的“成功”與“失敗”能夠發(fā)現(xiàn)錯誤的測試是成功的測試，否則是失敗的測試。

8.4測試的基本概念中國石油大學(xué)勝利學(xué)院糾錯的目的與任務(wù)

目的：定位和糾正錯誤；任務(wù)：消除軟件故障，保證程序的可靠運(yùn)行。測試和糾錯的關(guān)系：測試：找錯糾錯：改錯軟件測試結(jié)果錯誤信息改正信息測試用例期望結(jié)果測試評價糾錯8.4測試的基本概念中國石油大學(xué)勝利學(xué)院2、測試的特性挑剔性只有抱著為證明程序有錯的目的去測試，才能把程序中潛在的大部分錯誤找出來復(fù)雜性設(shè)計測試用例是一項需要細(xì)致和高度技巧的工作不徹底性程序測試只能證明錯誤的存在，但不能證明錯誤不存在經(jīng)濟(jì)性選擇一些典型的、有代表性的測試用例，進(jìn)行有限的測試8.4測試的基本概念中國石油大學(xué)勝利學(xué)院3、測試的種類軟件測試方法的分類軟件測試靜態(tài)測試（程序不執(zhí)行）動態(tài)測試（程序執(zhí)行）“辦公桌”檢查會審走查（排查）靜態(tài)分析器（自動工具）代碼評審（人工方式）黑盒測試（測試功能）白盒測試（測試結(jié)構(gòu)）8.4測試的基本概念中國石油大學(xué)勝利學(xué)院4、測試文檔測試計劃測試內(nèi)容說明測試項目的名稱各項測試的目的步驟和進(jìn)度測試用例的設(shè)計測試報告測試結(jié)果測試項目名稱實測結(jié)果與期望結(jié)果的比較發(fā)現(xiàn)的問題測試達(dá)到的效果8.4測試的基本概念中國石油大學(xué)勝利學(xué)院5、軟件測試過程測試過程和項目開發(fā)過程完全平行，并有機(jī)地交互將測試出的問題納入項目的風(fēng)險和進(jìn)度分析中，以調(diào)整下一步的開發(fā)和測試活動先做測試需求和設(shè)計，再后才是測試實施8.4測試的基本概念中國石油大學(xué)勝利學(xué)院8.5黑盒測試和白盒測試黑盒測試根據(jù)被測試程序功能來進(jìn)行測試等價分類法邊界值分析法錯誤猜測法白盒測試以程序結(jié)構(gòu)為依據(jù)的測試方法邏輯覆蓋法路徑測試法中國石油大學(xué)勝利學(xué)院黑盒測試與白盒測試比較

黑盒測試是從用戶觀點，按規(guī)格說明書要求的輸入數(shù)據(jù)與輸出數(shù)據(jù)的對應(yīng)關(guān)系設(shè)計測試用例,是根據(jù)程序外部特征進(jìn)行測試。

白盒測試是根據(jù)程序內(nèi)部邏輯結(jié)構(gòu)進(jìn)行測試8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院

黑盒測試與白盒測試優(yōu)缺點比較

黑盒測試

白盒測試

優(yōu)點缺點性質(zhì)①適用于各階段測試②從產(chǎn)品功能角度測試③容易入手生成測試數(shù)據(jù)①可構(gòu)成測試數(shù)據(jù)使特定程序部分得到測試②有一定的充分性度量手段③可獲較多工具支持①某些代碼得不到測試②如果規(guī)格說明有誤，則無法發(fā)現(xiàn)③不易進(jìn)行充分性測試①不易生成測試數(shù)據(jù)(通常)②無法對未實現(xiàn)規(guī)格說明的部分進(jìn)行測試③工作量大，通常只用于單元測試，有應(yīng)用局限是一種確認(rèn)技術(shù)，回答“我們在構(gòu)造一個正確的系統(tǒng)嗎？”是一種驗證技術(shù)，回答“我們在正確地構(gòu)造一個系統(tǒng)嗎？”1、黑盒測試

(1)等價分類法(equivalencepartitioning)把輸入數(shù)據(jù)的可能值劃分為若干等價類如何劃分等價類？有效等價類(合理等價類)無效等價類(不合理等價類)每一無效等價類至少需要一個測試用例

例子：某工廠公開招工，規(guī)定報名者年齡應(yīng)在16周歲至35周歲之間(到2008年3月止)即出生年月不在上述范圍內(nèi)，將拒絕接受，并顯示“年齡不合格”等出錯信息。

8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院第一步：等價類劃分

“出生年月”的等價分類表輸入數(shù)據(jù)有效等價類無效等價類出生年月①6位數(shù)字字符②有非數(shù)字字符③少于6個數(shù)字符④多于6個數(shù)字符對應(yīng)數(shù)值⑤在197302—199203之間⑥<197302⑦>199203月份對應(yīng)數(shù)值⑧在1—12之間⑨等于“0”

⑩>128.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院第二步：設(shè)計有效等價類測試用例：197511測試范圍：

①

⑤⑧第三步：設(shè)計無效等價類測試用例：測試數(shù)據(jù)期望結(jié)果測試范圍

MAY，75輸入無效②19755 輸入無效

③1978011輸入無效

④195512 年齡不合格⑥199606 年齡不合格⑦198200 輸入無效⑨197522 輸入無效⑩8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院(2)邊界值分析法邊界值分析法與等價類劃分法區(qū)別(1)邊界值分析不是從某等價類中隨便挑一個作為代表，而是使這個等價類的每個邊界都要作為測試條件。(2)邊界值分析不僅考慮輸入條件，還要考慮輸出空間產(chǎn)生的測試情況被測試子域測試內(nèi)點測試外點軟件邊界與懸崖很類似8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院邊界條件類型

如果軟件測試問題包含確定的邊界,那么數(shù)據(jù)類型可能是:數(shù)值字符位置數(shù)量速度地址尺寸……還要考慮數(shù)據(jù)類型的特征:第一個/最后一個最小值/最大值開始/完成空/滿最慢/最快相鄰/最遠(yuǎn)超過/在內(nèi)……8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院測試邊界線測試臨近邊界的合法數(shù)據(jù),以及剛超過邊界的非法數(shù)據(jù).越界測試通常簡單地加1或很小的數(shù)

(對于最大值)和減1或很小的數(shù)(對于最小值).

8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院輸入條件出生年月1個數(shù)字字符5個數(shù)字字符7個數(shù)字字符有1個非數(shù)字字符全部是非數(shù)字字符6個數(shù)字字符顯示出錯顯示出錯顯示出錯顯示出錯顯示出錯輸入有效對應(yīng)數(shù)值月份范圍“出生年月”邊界值分析法測試用例測試用例說明測試數(shù)據(jù)期望結(jié)果選取理由51970519680052001.5MAY---200105月份為1月月份為12月月份<1月份>12197302199203197300197413197302199203197301199204輸入有效輸入有效顯示出錯顯示出錯輸入有效輸入有效顯示出錯顯示出錯在有效范圍邊界上選取數(shù)據(jù)僅有1個合法字符比有效長度少1比有效長度多1只有1個非法字符6個非法字符類型及長度均有效最小日期最大日期剛好小于最小日期剛好大于最大日期最小月份最大月份剛好小于最小月份剛好大于最大月份中國石油大學(xué)勝利學(xué)院1、黑盒測試（3）錯誤猜測法(errorguessing)

猜測被測程序在哪些地方容易出錯

針對可能的薄弱環(huán)節(jié)來設(shè)計測試用例根據(jù)經(jīng)驗來設(shè)計測試用例的方法例如，數(shù)據(jù)測試中的:缺省值空白空值零值無

8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院2、白盒測試

邏輯覆蓋測試法(logiccoveragetesting)

用流程圖來設(shè)計測試用例

邏輯覆蓋測試的5種標(biāo)準(zhǔn)發(fā)現(xiàn)錯誤的能力

弱

強(qiáng)語句覆蓋每條語句至少執(zhí)行一次判定覆蓋每一判定的每個分支至少執(zhí)行一次條件覆蓋每一判定中的每個條件，分別按“真”、“假”至少各執(zhí)行一次判定/條件覆蓋同時滿足判定覆蓋和條件覆蓋的要求條件組合覆蓋求出判定中所有條件的各種可能組合值，每一可能的條件組合至少執(zhí)行一次8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院例:PROCEDURESAMPAL(A，B：REAL；VARX：REAL);BEGINIF(A>1)AND(B=0)THENX:=X/AIF(A=2)OR(X>1)THENX:=X+1END;8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院開始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce(1)語句覆蓋使程序中每個語句至少執(zhí)行一次8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院語句覆蓋開始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce(1)語句覆蓋只需設(shè)計一個測試用例:輸入數(shù)據(jù)：A=2，B=0，X=4即達(dá)到了語句覆蓋;語句覆蓋是最弱的邏輯覆蓋8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院(2)判定覆蓋(分支覆蓋)

使每個判定的真假分支都至少執(zhí)行一次8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院判定覆蓋開始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce(2)判定覆蓋(分支覆蓋)例:可設(shè)計兩組測試用例:A=3，B=0，X=3可覆蓋c、d分支

A=2，B=1，X=1可覆蓋b、e分支兩組測試用例可覆蓋所有判定的真假分支語句覆蓋仍是弱的邏輯覆蓋8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院(3)條件覆蓋使每個判定的每個條件的可能取值至少執(zhí)行一次8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院第一判定表達(dá)式:設(shè)條件A>1

取真記為T1

假T1

條件B=1

取真記為T2

假T2第二判定表達(dá)式:設(shè)條件A=2

取真記為T3

假T3

條件X>1

取真記為T4

假T4條件覆蓋開始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce滿足條件:T1,T1,T2,T2T3,T3T4,T4測試用例

通過滿足的覆蓋ABX

路徑條件分支103abeT1,T2,T3,T4b,e211abeT1,T2,T3,T4b,e

兩個測試用例覆蓋了四個條件八種可能取值。未覆蓋c、d分支，不滿足判定覆蓋的要求.條件覆蓋不一定包含判定覆蓋判定覆蓋也不一定包含條件覆蓋(4)判定/條件覆蓋選取足夠多的測試用例，使判斷中的每個條件的所有可能取值至少執(zhí)行一次，同時每個判斷本身的所有可能判斷結(jié)果至少執(zhí)行一次.8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院判定/條件覆蓋開始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce滿足條件:T1,T1,T2,T2T3,T3T4,T4測試用例

通過滿足的覆蓋ABX

路徑條件分支204aceT1,T2,T3,T4c,e211abdT1,T2,T3,T4b,d

能同時滿足判定、條件兩種覆蓋標(biāo)準(zhǔn)。取值。測試用例

通過滿足的覆蓋ABX

路徑條件分支203aceT1,T2,T3,T4c,e211abeT1,T2,T3,T4b,e103abeT1,T2,T3,T4b,e111abdT1,T2,T3,T4b,d

(5)條件組合覆蓋

所有可能的條件取值組合至少執(zhí)行一次

A>1,B=0A>1,B≠0A≯1,B=0A≯1,B≠0A=2,X>1A=2,X≯1A≠2,X>1A≠2,X≯18.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院測試用例

通過滿足的覆蓋ABX

路徑條件分支204aceT1,T2,T3,T4c,e211abeT1,T2,T3,T4b,e102abdT1,T2,T3,T4b,d111abdT1,T2,T3,T4b,d

2、白盒測試

路徑測試法(pathtesting)著眼于程序執(zhí)行路徑的測試方法

程序圖(programgraph)

點覆蓋邊覆蓋路徑覆蓋8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院窮舉測試

白盒測試?yán)?含4個分支,循環(huán)次數(shù)≤20,從A到B的可能路徑執(zhí)行時間:設(shè)測試一次需2ms

窮舉測試需5億年.=5+5+..+5+5≈1020121914AB8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院

不論黑盒還是白盒測試都不能進(jìn)行窮盡測試,所以軟件測試不可能發(fā)現(xiàn)程序中存在的所有錯誤,因此需精心設(shè)計測試方案,力爭盡可能少的次數(shù),測出盡可能多的錯誤.8.5黑盒測試和白盒測試中國石油大學(xué)勝利學(xué)院8.7多模塊程序的測試策略1、測試的層次性

（步驟）單元(模塊)測試（unittesting）綜合(集成)測試（integrationtesting）確認(rèn)測試（validationtesting）系統(tǒng)測試（systemtesting）中國石油大學(xué)勝利學(xué)院測試與開發(fā)前期工作的關(guān)系決定軟件與系統(tǒng)的配合關(guān)系需求分析概要設(shè)計詳細(xì)設(shè)計

編碼單元測試集成測試確認(rèn)測試系統(tǒng)測試2、單元測試目的

通過模塊測試，使其代碼達(dá)到模塊說明書的需求

任務(wù)

(1)對模塊代碼進(jìn)行編譯，發(fā)現(xiàn)并糾正其語法錯誤；(2)進(jìn)行靜態(tài)分析，驗證模塊結(jié)構(gòu)及其內(nèi)部調(diào)用序列是否正確；(3)確定模塊的測試策略，并據(jù)此設(shè)計一組測試用例和必要的測試軟件；(4)用選定的測試用例對模塊進(jìn)行測試，直至滿足測試終止標(biāo)準(zhǔn)為止；(5)編制單元測試報告。

8.7多模塊程序的測試策略中國石油大學(xué)勝利學(xué)院2、單元測試實施步驟編譯靜態(tài)分析器檢查代碼評審動態(tài)測試測試驅(qū)動模塊測試樁模塊8.7多模塊程序的測試策略中國石油大學(xué)勝利學(xué)院3、集成測試

目的將經(jīng)過單元測試的模塊逐步組裝成具有良好一致性的完整的程序任務(wù)制訂集成測試實施策略確定集成測試的實施步驟，設(shè)計測試用例逐一地添加模塊，進(jìn)行測試8.7多模塊程序的測試策略中國石油大學(xué)勝利學(xué)院3、集成測試

策略與步驟

自頂向下測試

先廣后深實施步驟

先深后廣實施步驟

由底向上測試

混合方式測試（sandwichtesting）

對上層模塊采取自頂向下測試

對關(guān)鍵模塊或子系統(tǒng)采取由底向上測試

8.7多模塊程序的測試策略中國石油大學(xué)勝利學(xué)院4、確認(rèn)測試目的

確認(rèn)組裝好的程序是否滿足（SRS）的要求任務(wù)有效性測試（黑盒測試）配置復(fù)審（confingurationreview）

驗收測試—專用

alpha與beta測試—通用8.7多模塊程序的測試策略中國石油大學(xué)勝利學(xué)院5