第八章編碼與測(cè)試

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

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

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

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

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

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

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

（先求清楚后求快）Keepitrightwhenyoumakeitfaster.

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

tomakeitfaster.

（保持程序簡(jiǎn)單以求快）don’tsacrificeclarityfor“efficiency”.

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

采用單入口、單出口標(biāo)準(zhǔn)結(jié)構(gòu)實(shí)現(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)行有效檢驗(yàn)；

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

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

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

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

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

所有報(bào)表、報(bào)告具有良好的格式；8.1編碼概述中國石油大學(xué)勝利學(xué)院8.2編碼語言與編碼工具1、編碼語言的發(fā)展面向機(jī)器的語言高級(jí)語言(第3代)甚高級(jí)語言機(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è)計(jì)語言的選擇

要為待開發(fā)項(xiàng)目選擇合適的程序設(shè)計(jì)語言，應(yīng)充分考慮到項(xiàng)目的各種需求，結(jié)合各種語言的心理特性、工程特性、技術(shù)特性以及應(yīng)用特點(diǎn)，盡量選取實(shí)現(xiàn)效率高且易于理解和維護(hù)的語言。選擇編碼語言的標(biāo)準(zhǔn)應(yīng)用領(lǐng)域算法與計(jì)算復(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é)計(jì)算FORTRANALGOL,BASIC,APL系統(tǒng)AssemblerForth人工智能LISPSNOBOL

現(xiàn)代商業(yè)COBOL、C++、Java、電子表格C、PL/1科學(xué)計(jì)算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)資料，了解以上語言的出處、特點(diǎn)和適用場(chǎng)合。8.2編碼語言與編碼工具中國石油大學(xué)勝利學(xué)院8.3編碼示例網(wǎng)上購物系統(tǒng)將設(shè)計(jì)模型轉(zhuǎn)換為源代碼注冊(cè)維護(hù)購物車中國石油大學(xué)勝利學(xué)院軟件開發(fā)過程必須伴有質(zhì)量保證活動(dòng)。軟件測(cè)試是軟件質(zhì)量保證的關(guān)鍵元素，代表了規(guī)約、設(shè)計(jì)和編碼的最終檢查。有關(guān)測(cè)試的思考題:軟件測(cè)試需要什么樣的專業(yè)基礎(chǔ)?測(cè)試的研究內(nèi)容是什么？測(cè)試的目標(biāo)是什么？開發(fā)一個(gè)測(cè)試系統(tǒng)之前你是否明白:

可以測(cè)試什么？

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

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

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

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

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

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

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

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

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

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

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

黑盒測(cè)試與白盒測(cè)試優(yōu)缺點(diǎn)比較

黑盒測(cè)試

白盒測(cè)試

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

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

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

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

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

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

①

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

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

③1978011輸入無效

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

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

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

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

猜測(cè)被測(cè)程序在哪些地方容易出錯(cuò)

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

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

邏輯覆蓋測(cè)試法(logiccoveragetesting)

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

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

弱

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

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

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

通過滿足的覆蓋ABX

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

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

通過滿足的覆蓋ABX

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

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

通過滿足的覆蓋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黑盒測(cè)試和白盒測(cè)試中國石油大學(xué)勝利學(xué)院測(cè)試用例

通過滿足的覆蓋ABX

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

2、白盒測(cè)試

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

程序圖(programgraph)

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

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

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

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

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

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

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

任務(wù)

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

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

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

策略與步驟

自頂向下測(cè)試

先廣后深實(shí)施步驟

先深后廣實(shí)施步驟

由底向上測(cè)試

混合方式測(cè)試（sandwichtesting）

對(duì)上層模塊采取自頂向下測(cè)試

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

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

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

驗(yàn)收測(cè)試—專用

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