軟件工程導(dǎo)論第五版第七章

1、第 7 章 實(shí)現(xiàn)7。1 編碼7。1。1 選擇程序設(shè)計(jì)語(yǔ)言7.1。2 編碼風(fēng)格1。程序內(nèi)部的文檔2。數(shù)據(jù)說明3。語(yǔ)句構(gòu)造4。輸入輸出5。效率7。2 軟件測(cè)試基礎(chǔ)7。2。1 軟件測(cè)試的目標(biāo)7。 2.2 軟件測(cè)試準(zhǔn)則7。 2。3 測(cè)試方法7。 2.4 測(cè)試步驟1。模塊測(cè)試2. 子系統(tǒng)測(cè)試3. 系統(tǒng)測(cè)試4。驗(yàn)收測(cè)試5。平行運(yùn)行7。2。5測(cè)試階段的信息流圖7。1測(cè)試階段的信息流7.3單元測(cè)試7.3。1測(cè)試重點(diǎn)1. 模塊接口2. 局部數(shù)據(jù)結(jié)構(gòu)3. 重要的執(zhí)行通路4. 出錯(cuò)處理通路5. 邊界條件732代碼審查733計(jì)算機(jī)測(cè)試圖7.2正文加工系統(tǒng)的層次圖7。4集成測(cè)試7.4。1自頂向下集成圖7.3自頂向下結(jié)合

2、自底向上集成743不同集成測(cè)試策略的比較 7.4 。 4回歸測(cè)試7.5確認(rèn)測(cè)試7。5.1確認(rèn)測(cè)試的范圍7。5。2軟件配置復(fù)查7.5。3Alpha 和 Beta 測(cè)試7.6白盒測(cè)試技術(shù)7。6.1邏輯覆蓋1。語(yǔ)句覆蓋a人口）圖7.5被測(cè)試模塊的流程圖2. 判定覆蓋3. 條件覆蓋4. 判定/條件覆蓋5. 條件組合覆蓋6。點(diǎn)覆蓋7. 邊覆蓋8。路徑覆蓋7。6.2控制結(jié)構(gòu)測(cè)試1. 基本路徑測(cè)試圖7。6求平均值過程的流圖2. 條件測(cè)試3. 循環(huán)測(cè)試co卜。卜 7。7黑盒測(cè)試技術(shù)7。7。1等價(jià)劃分乙乙2邊界值分析7.7。3錯(cuò)誤推測(cè)7.8調(diào)試7。8.1調(diào)試過程圖7。8調(diào)試過程7.8。2調(diào)試途徑1。蠻干法2?；?/p>

3、溯法3。原因排除法7.9 軟件可靠性7。 9.1 基本概念1. 軟件可靠性的定義2. 軟件的可用性7.9。2 估算平均無故障時(shí)間的方法1。符號(hào)2?；炯俣?。估算平均無故障時(shí)間4。估計(jì)錯(cuò)誤總數(shù)的方法7.10 小結(jié)習(xí)題 71。 下面給出的偽碼中有一個(gè)錯(cuò)誤。仔細(xì)閱讀這段偽碼，說明該偽碼的語(yǔ)法特點(diǎn)，找出并 改正偽碼中的錯(cuò)誤。字頻統(tǒng)計(jì)程序的偽碼如下：INITJALIZE ihe ProgramREAD the firmt ttxt recordDO WHILE rhrrr fire more words in ihe test recordEX J WHILE there are more words

4、 in the tearr recordEXTRACT the ntxt text wordSEARCH the word- table： for the extracted wordIF the? extrarted word is foundINC R EM ENT the wo nd7 s Occurrence countELSEINSERT the extracted word into ihr tableEND IFINCREMENT the wo閉a processed countEND DO st thv end of th5THEN 1CEL5EX= J END IFIF B1

5、OTHEN Y20KJ.SE Y2END TFIF 015THEN Z=30RLSE Z=3END IFPRINT WSP：/SEI,FX!T或FIND侖令后面用顯示文件中的索 引信息FIND(査找眞作者姓名條統(tǒng)搜索指定時(shí)柞者姓名，井莊屏辜上顯示諛祁者的著件的索 引號(hào)，同時(shí)把這些索嘟存人文件要求：(1) 設(shè)計(jì)測(cè)試數(shù)據(jù)以全面測(cè)試系統(tǒng)的正常操作；(2) 設(shè)計(jì)測(cè)試數(shù)據(jù)以測(cè)試系統(tǒng)的非正常操作6. 航空公司A向軟件公司B訂購(gòu)了一個(gè)規(guī)劃飛行路線的程序。假設(shè)自己是軟件公司 C的軟件工程師，A公司已雇用自己所在的公司對(duì)上述程序進(jìn)行驗(yàn)收測(cè)試任務(wù)是，根據(jù)下述事實(shí)設(shè)計(jì)驗(yàn)收測(cè)試的輸入數(shù)據(jù)，解釋選取這些數(shù)據(jù)的理由。領(lǐng)航

6、員向程序輸入出發(fā)點(diǎn)和目的地，以及根據(jù)天氣和飛機(jī)型號(hào)而初步確定的飛行高度程序讀入途中的風(fēng)向風(fēng)力等數(shù)據(jù)，并且制定出 3套飛行計(jì)劃(高度，速度，方向及途中的 5個(gè)位 置校核點(diǎn) ）。所制定的飛行計(jì)劃應(yīng)做到燃料消耗和飛行時(shí)間都最少。7。嚴(yán)格說來，有兩種不同的路徑覆蓋測(cè)試，分別為程序路徑覆蓋和程序圖路徑覆蓋。這 兩種測(cè)試可分別稱為程序的自然執(zhí)行和強(qiáng)迫執(zhí)行.所謂自然執(zhí)行是指測(cè)試者 （人或計(jì)算機(jī) ）讀入程序中的條件表達(dá)式 ,根據(jù)程序變量的當(dāng)前值計(jì)算該條件表達(dá)式的值（真或假）,并相應(yīng)地分支。強(qiáng)迫執(zhí)行是在用程序圖作為程序的抽象模型時(shí)產(chǎn)生的一個(gè)人為的概念,它可以簡(jiǎn)化測(cè)試問題 .強(qiáng)迫執(zhí)行的含義是，一旦遇到條件表達(dá)式，

7、測(cè)試者就強(qiáng)迫程序分兩種情況（條件表達(dá)式的值為真和為假）執(zhí)行。顯然,強(qiáng)迫執(zhí)行將遍歷程序圖的所有路徑 ,然而由于各個(gè)條件表達(dá)式之間存在相互依賴的關(guān)系，這些路徑中的某一些在自然執(zhí)行時(shí)可能永遠(yuǎn)也不會(huì)進(jìn) 入。為了使強(qiáng)迫執(zhí)行的概念在實(shí)際工作中有用，它簡(jiǎn)化測(cè)試工具的好處應(yīng)該超過它使用額外的 不可能達(dá)到的測(cè)試用例所帶來的壞處.在絕大多數(shù)情況下，強(qiáng)迫執(zhí)行的測(cè)試數(shù)并不比自然執(zhí)行的測(cè)試數(shù)大很多 ,此外，對(duì)強(qiáng)迫執(zhí)行的定義實(shí)際上包含了一種技術(shù),能夠縮短在測(cè)試含有循環(huán)的程序時(shí)所需要的運(yùn)行時(shí)間。程序的大部分執(zhí)行時(shí)間通常用于重復(fù)執(zhí)行程序中的 DO 循環(huán)，特別是嵌套的循環(huán)。因此必 須發(fā)明一種技術(shù) ,使得每個(gè) DO 循環(huán)只執(zhí)行一

8、遍 .這樣做并不會(huì)降低測(cè)試的功效,因?yàn)榻?jīng)驗(yàn)表明第一次或最后一次執(zhí)行循環(huán)時(shí)最容易出錯(cuò) .Laemmel 教授提出的自動(dòng)測(cè)試每條路徑的技術(shù)如下 .當(dāng)編寫程序時(shí)每個(gè) DO 循環(huán)應(yīng)該寫成一種包含測(cè)試變量 T 和模式變量 M 的特殊形式，因 此DO I= 1 TO 38應(yīng)變成DO I=1 TO M 38+（1-M）*T可見，當(dāng) M=0 時(shí)處于測(cè)試模式 ,而 M=1 時(shí)處于正常運(yùn)行模式。當(dāng)處于測(cè)試模式時(shí),令 T=0 則該循環(huán)一次也不執(zhí)行，令 T=1 則該循環(huán)只執(zhí)行一次。類似地應(yīng)該使用模式變量和測(cè)試變量改寫IF 語(yǔ)句 ,例如IF X+Y0THEN Z=XELSEZ=Y應(yīng)變成IF M* （X+Y ）+T0TH

9、EN Z=XELSE Z=Y正常運(yùn)行時(shí)令 M=1和T=0，測(cè)試期間令 M=0，為測(cè)試THEN部分需令T=+1,測(cè)試ELSE部 分則令 T=1。要求 :（ 1 ） 選取一個(gè)包含循環(huán)和 IF 語(yǔ)句的程序，用 Laemmel 技術(shù)修改這個(gè)程序，上機(jī)實(shí)際測(cè)試 這個(gè)程序并解釋所得到的結(jié)果。（2）設(shè)計(jì)一個(gè)程序按照 Laemmel 技術(shù)自動(dòng)修改待測(cè)試的程序。利用這個(gè)測(cè)試工具修改上一 問中人工修改的程序 ,兩次修改得到的結(jié)果一致嗎？（3）怎樣把 Laemmel 技術(shù)推廣到包含 WHILE DO 和 REPEAT UNTIL 語(yǔ)句的程序？( 4) 試分析 Laemmel 技術(shù)的優(yōu)缺點(diǎn)并提出改進(jìn)意見 .8。對(duì)一個(gè)

10、包含 10000條機(jī)器指令的程序進(jìn)行一個(gè)月集成測(cè)試后,總共改正了 15個(gè)錯(cuò)誤 ,此時(shí) MTTF=10h ；經(jīng)過兩個(gè)月測(cè)試后，總共改正了 25個(gè)錯(cuò)誤 (第二個(gè)月改正了 10 個(gè)錯(cuò)誤)， MTTF=15h 。要求：(1) 根據(jù)上述數(shù)據(jù)確定 MTTF與測(cè)試時(shí)間之間的函數(shù)關(guān)系，畫出MTTF與測(cè)試時(shí)間t的關(guān) 系曲線。在畫這條曲線時(shí)做了什么假設(shè) ?(2) 為做到 MTTF=100h ，必須進(jìn)行多長(zhǎng)時(shí)間的集成測(cè)試？當(dāng)集成測(cè)試結(jié)束時(shí)總共改正了 多少個(gè)錯(cuò)誤，還有多少個(gè)錯(cuò)誤潛伏在程序中？9. 如對(duì)一個(gè)長(zhǎng)度為 100000 條指令的程序進(jìn)行集成測(cè)試期間記錄下下面的數(shù)據(jù) :(a) 7 月 1 日: 集成測(cè)試開始，沒有發(fā)現(xiàn)錯(cuò)誤。(b) 8 月 2日：總共改正 100個(gè)錯(cuò)誤，此時(shí) MTTF=0.4h(c) 9 月 1 日：總共改正 300 個(gè)錯(cuò)誤，此時(shí)， MTTF=2h 據(jù)上列數(shù)據(jù)完成下列各題 .(1) 估計(jì)程序中的錯(cuò)誤總數(shù) .(2) 為使MTTF達(dá)到10h,必須測(cè)試和調(diào)試這個(gè)程序多長(zhǎng)時(shí)間？(3) 畫出MTTF和測(cè)試時(shí)間t之間的函數(shù)關(guān)系曲線。10. 在測(cè)試一個(gè)長(zhǎng)度為 24000 條指令的程序時(shí)，第一個(gè)月由甲、乙兩名測(cè)試員各自獨(dú)立測(cè)試這