實(shí)用軟件課件第4章

第4章軟件編碼和軟件測(cè)試

本章內(nèi)容：l

結(jié)構(gòu)化程序設(shè)計(jì)（程序設(shè)計(jì)語(yǔ)言的選擇、

程序設(shè)計(jì)風(fēng)格）l

軟件測(cè)試目標(biāo)l

軟件

測(cè)試方法l

軟件

測(cè)試步驟l

設(shè)計(jì)軟件測(cè)試方案l

軟件測(cè)試原則和測(cè)試策略l

軟件調(diào)試、驗(yàn)證與確認(rèn)l

軟件測(cè)試文檔重點(diǎn)：l

程序設(shè)計(jì)風(fēng)格l

設(shè)計(jì)軟件測(cè)試方案《實(shí)用軟件工程（第4版）》14.1結(jié)構(gòu)化程序設(shè)計(jì)

結(jié)構(gòu)化程序設(shè)計(jì)（StructuredProgramming,SP）1、采用自頂向下、逐步求精的程序設(shè)計(jì)方法；2、僅采用順序、選擇、重復(fù)三種基本控制結(jié)構(gòu)，每種基本結(jié)構(gòu)只有一個(gè)入口、一個(gè)出口；將這三種基本控制結(jié)構(gòu)根據(jù)程序的邏輯，嵌套或組合成結(jié)構(gòu)化程序，完成預(yù)定的功能。3、采用主程序員組的組織形式。4.1.1程序設(shè)計(jì)語(yǔ)言的選擇1.程序設(shè)計(jì)語(yǔ)言的分類（1）面向機(jī)器語(yǔ)言：機(jī)器語(yǔ)言和匯編語(yǔ)言。（2）高級(jí)程序設(shè)計(jì)語(yǔ)言2.高級(jí)語(yǔ)言選用的實(shí)用標(biāo)準(zhǔn)（1）項(xiàng)目的應(yīng)用領(lǐng)域（2）軟件開發(fā)環(huán)境（3）根據(jù)系統(tǒng)用戶的要求來選擇（4）程序員的知識(shí)《實(shí)用軟件工程（第4版）》24.1.2程序設(shè)計(jì)風(fēng)格源程序文檔編寫規(guī)則1．源程序文檔書寫規(guī)則：含義鮮明的標(biāo)識(shí)符名稱、適當(dāng)?shù)淖⒔夂统绦虿季蛛A梯式。2.數(shù)據(jù)說明：易于理解、便于查閱3.語(yǔ)句構(gòu)造要簡(jiǎn)單明了4.輸入輸出語(yǔ)句要合理5.程序效率要滿足用戶需求。程序設(shè)計(jì)主要應(yīng)考慮的是程序的正確性、可理解性、可測(cè)試性和可維護(hù)性。4.2軟件測(cè)試目標(biāo)（１）軟件測(cè)試是為了發(fā)現(xiàn)程序中的錯(cuò)誤而執(zhí)行程序的過程；（２）好的測(cè)試方案能夠發(fā)現(xiàn)尚未發(fā)現(xiàn)的錯(cuò)誤；（３）成功的測(cè)試是發(fā)現(xiàn)了尚未發(fā)現(xiàn)的錯(cuò)誤的測(cè)試。軟件測(cè)試的目的是，通過人工或計(jì)算機(jī)執(zhí)行程序來有意識(shí)地發(fā)現(xiàn)程序中的設(shè)計(jì)錯(cuò)誤和編碼錯(cuò)誤?！秾?shí)用軟件工程（第4版）》34.3軟件測(cè)試方法

4.3.1靜態(tài)分析與動(dòng)態(tài)測(cè)試1.靜態(tài)分析2.動(dòng)態(tài)測(cè)試：以執(zhí)行程序并分析程序來查錯(cuò)。為了進(jìn)行軟件測(cè)試，需要預(yù)先準(zhǔn)備好兩種數(shù)據(jù)：①輸入數(shù)據(jù)；②預(yù)期的輸出結(jié)果。我們把以發(fā)現(xiàn)錯(cuò)誤為目標(biāo)的用于軟件測(cè)試的輸入數(shù)據(jù)及與之對(duì)應(yīng)的預(yù)期輸出結(jié)果叫測(cè)試用例。4.3.2黑盒法與白盒法1.黑盒法

(Black.BoxTesting)又稱功能測(cè)試，其測(cè)試用例完全是根據(jù)程序的功能說明來設(shè)計(jì)的。2.白盒法

(WhiteBoxTesting)又稱結(jié)構(gòu)測(cè)試，其測(cè)試用例是根據(jù)程序內(nèi)部的邏輯結(jié)構(gòu)和執(zhí)行路徑來設(shè)計(jì)的。常把黑盒法和白盒法聯(lián)合起來進(jìn)行，這也稱為灰盒法?！秾?shí)用軟件工程（第4版）》44.4軟件測(cè)試步驟

4.4.1模塊測(cè)試也稱單元測(cè)試，其目的是檢查每個(gè)模塊是否能獨(dú)立、正確地運(yùn)行。模塊測(cè)試通常在程序設(shè)計(jì)時(shí)進(jìn)行。驅(qū)動(dòng)程序代替主程序，用來測(cè)試子程序。存根程序也稱“虛擬子程序”，測(cè)試主模塊。4.4.2集成測(cè)試子系統(tǒng)的組裝稱為集成化。集成測(cè)試分為子系統(tǒng)測(cè)試和系統(tǒng)測(cè)試兩種。漸增式測(cè)試、非漸增式測(cè)試1、自頂向下集成2、自底向上集成4.4.3程序?qū)彶闀?huì)和人工運(yùn)行4.4.4確認(rèn)測(cè)試1.確認(rèn)測(cè)試必須有用戶積極參與，或以用戶為主進(jìn)行。2.軟件配置復(fù)審3.Alpha測(cè)試和Beta測(cè)試4.4.5平行運(yùn)行《實(shí)用軟件工程（第4版）》54.5設(shè)計(jì)測(cè)試方案測(cè)試方案包括三個(gè)內(nèi)容:要測(cè)試的功能輸入的數(shù)據(jù)對(duì)應(yīng)的預(yù)期輸出結(jié)果4.5.1等價(jià)類劃分法4.5.2邊界值分析法4.5.3錯(cuò)誤推測(cè)法4.5.4邏輯覆蓋法1.語(yǔ)句覆蓋2.判定覆蓋3.條件覆蓋4.判定/條件覆蓋5.條件組合覆蓋6.點(diǎn)覆蓋7.邊覆蓋8.路徑覆蓋《實(shí)用軟件工程（第4版）》6【例4.2】按不同邏輯覆蓋法設(shè)計(jì)測(cè)試數(shù)據(jù)

測(cè)試數(shù)據(jù)的條件組合及對(duì)應(yīng)的執(zhí)行路徑《實(shí)用軟件工程（第4版）》74.5.5程序環(huán)行復(fù)雜程度的度量

McCabe方法首先畫出程序圖，然后計(jì)算程序的環(huán)行復(fù)雜度。程序環(huán)行復(fù)雜度的計(jì)算方法有三種：

1、

強(qiáng)連通圖中線性無(wú)關(guān)有向環(huán)的個(gè)數(shù)。2、

V(G)=m-n+2其中，m是程序圖G中的弧數(shù)，n是有向圖G中的節(jié)點(diǎn)數(shù)。3、如果P是流圖中判定結(jié)點(diǎn)的個(gè)數(shù)，V(G)=P+1?！纠?.2】計(jì)算程序環(huán)行復(fù)雜度。現(xiàn)有對(duì)計(jì)算機(jī)應(yīng)用能力考試成績(jī)進(jìn)行統(tǒng)計(jì)的程序。連續(xù)輸入考試成績(jī)，最后以輸入0分或負(fù)分為結(jié)束。規(guī)定成績(jī)?cè)?0分以下的不及格、60分以上的及格、80分以上的屬于優(yōu)秀。該程序統(tǒng)計(jì)并分別輸出成績(jī)不及格、及格、優(yōu)秀的人數(shù)及總?cè)藬?shù)。算出此程序的環(huán)行復(fù)雜度?！秾?shí)用軟件工程（第4版）》8程序流程圖《實(shí)用軟件工程（第4版）》9程序圖《實(shí)用軟件工程（第4版）》陸惠恩編著10計(jì)算程序的環(huán)行復(fù)雜度：方法1:圖中有4個(gè)線性無(wú)關(guān)的有向環(huán)：R1、R2、R3、R4。在圖4.4（b）中，實(shí)線弧數(shù)為14,節(jié)點(diǎn)數(shù)為12。因此，環(huán)行復(fù)雜度為V(G)=14-12+2=4方法2:判定結(jié)點(diǎn)的個(gè)數(shù)為3，V(G)=3+1=4。方法3:有向環(huán)為R1,R2,R3,R4,

環(huán)行復(fù)雜度為4.三種計(jì)算方法的結(jié)果相同?！秾?shí)用軟件工程（第4版）》114.5.6因果圖法1.因果圖法測(cè)試用例設(shè)計(jì)步驟2.因果圖法基本符號(hào)《實(shí)用軟件工程（第4版）》123.因果圖約束符號(hào)【例4.4】用因果圖法設(shè)計(jì)測(cè)試用例某規(guī)格說明規(guī)定：輸入的第一列字符必須是A或B，第二列字符必須是一個(gè)數(shù)字。第一、二列都滿足條件時(shí)執(zhí)行操作H；如果第一列字符不正確，則給出信息L；如果第二列字符不正確，則給出信息R。根據(jù)上述要求畫出因果圖，并設(shè)計(jì)測(cè)試用例。例4.4的因果圖例4.4的判定表《實(shí)用軟件工程（第4版）》134.6軟件測(cè)試原則和策略

4.6.1軟件測(cè)試原則

4.6.2．實(shí)用測(cè)試策略

(1)用等價(jià)類劃分法設(shè)計(jì)測(cè)試方案。(2)使用邊界值分析方法，既測(cè)試輸入數(shù)據(jù)的邊界情況又包括輸出數(shù)據(jù)的邊界情況。(3)如果含有輸入條件的組合情況，一開始就用因果圖法。(4)必要時(shí)用錯(cuò)誤推斷法補(bǔ)充測(cè)試方案。(5)用邏輯覆蓋法檢查現(xiàn)有測(cè)試方案，若沒有達(dá)到邏輯覆蓋標(biāo)準(zhǔn)，再補(bǔ)充一些測(cè)試用例?！秾?shí)用軟件工程（第4版）》陸惠恩主著144.7軟件調(diào)試、驗(yàn)證與確認(rèn)

4.7.1軟件調(diào)試軟件調(diào)試也稱糾錯(cuò)。首先進(jìn)行軟件測(cè)試，第二步是糾錯(cuò)4.7.2程序正確性驗(yàn)證（軟件驗(yàn)證）是確定軟件開發(fā)周期中的一個(gè)給定階段的產(chǎn)品是否達(dá)到需求的過程。4.7.3軟件確認(rèn)軟件確認(rèn)的方法：

１．系統(tǒng)功能和性能滿足需求說明書中的全部要求，得到用戶認(rèn)可。２．完成測(cè)試計(jì)劃中的所有要求，并書寫測(cè)試分析報(bào)告和開發(fā)總結(jié)。３．按用戶手冊(cè)和操作手冊(cè)進(jìn)行軟件實(shí)際運(yùn)行。4.8軟件測(cè)試文檔1．軟件測(cè)試計(jì)劃2．測(cè)試說明文件測(cè)試設(shè)計(jì)說明測(cè)試用例說明測(cè)試規(guī)程說明3．軟件測(cè)試分析報(bào)告

《實(shí)用軟件工程（第4版）》15第4章小結(jié)

優(yōu)先選用高級(jí)程序設(shè)計(jì)語(yǔ)言。結(jié)構(gòu)化程序設(shè)計(jì)將順序、選擇、重復(fù)三種基本控制結(jié)構(gòu)進(jìn)行組合和嵌套。軟件設(shè)計(jì)風(fēng)格直接影響軟件的質(zhì)量，軟件的可維護(hù)性和可移植性。軟件編碼階段應(yīng)進(jìn)行靜態(tài)分析和模塊測(cè)試。軟件測(cè)試是由人工或計(jì)算機(jī)，執(zhí)行或評(píng)價(jià)系統(tǒng)過程，驗(yàn)證是否滿足需求。測(cè)試的根本任務(wù)是發(fā)現(xiàn)軟件中的錯(cuò)誤。測(cè)試的早期用白盒法，后期用黑盒法。設(shè)計(jì)測(cè)試方案要選用盡可能少的高效測(cè)試數(shù)據(jù)，盡可能多地發(fā)現(xiàn)錯(cuò)誤。1．邊界值分析方法，包括輸入數(shù)據(jù)和輸出數(shù)