軟件工程導論第五版第七章

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

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

3、溯法3。原因排除法7.9 軟件可靠性7。 9.1 基本概念1. 軟件可靠性的定義2. 軟件的可用性7.9。2 估算平均無故障時間的方法1。符號2?；炯俣?。估算平均無故障時間4。估計錯誤總數(shù)的方法7.10 小結(jié)習題 71。 下面給出的偽碼中有一個錯誤。仔細閱讀這段偽碼，說明該偽碼的語法特點，找出并 改正偽碼中的錯誤。字頻統(tǒng)計程序的偽碼如下：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)搜索指定時柞者姓名，井莊屏辜上顯示諛祁者的著件的索 引號，同時把這些索嘟存人文件要求：(1) 設計測試數(shù)據(jù)以全面測試系統(tǒng)的正常操作；(2) 設計測試數(shù)據(jù)以測試系統(tǒng)的非正常操作6. 航空公司A向軟件公司B訂購了一個規(guī)劃飛行路線的程序。假設自己是軟件公司 C的軟件工程師，A公司已雇用自己所在的公司對上述程序進行驗收測試任務是，根據(jù)下述事實設計驗收測試的輸入數(shù)據(jù)，解釋選取這些數(shù)據(jù)的理由。領航

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

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

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

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

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