軟件技術基礎第5章ppt課件

1、第第5 5章章 軟件檢驗軟件檢驗5.1 動態(tài)檢驗動態(tài)檢驗5.2 靜態(tài)檢驗靜態(tài)檢驗5.3 正確性證明正確性證明5.4 測試步驟測試步驟 第5章 軟件檢驗前往主目錄前往主目錄第第5 5章章 軟件檢驗軟件檢驗第5章 軟 件 檢 驗5.1 動動 態(tài)態(tài) 檢檢 驗驗 動態(tài)檢驗就是指傳統(tǒng)的測試，這種動態(tài)檢驗就是指傳統(tǒng)的測試，這種方法是使程序有控制地運轉，并從不同方法是使程序有控制地運轉，并從不同角度察看程序運轉的行為，以發(fā)現(xiàn)其中角度察看程序運轉的行為，以發(fā)現(xiàn)其中的錯誤。測試的關鍵是如何設計測試用的錯誤。測試的關鍵是如何設計測試用例。測試方法不同，所運用的測試用例例。測試方法不同，所運用的測試用例也不同。常用

2、的測試方法有黑盒法和白也不同。常用的測試方法有黑盒法和白盒法。黑盒法是指測試人員將程序看成盒法。黑盒法是指測試人員將程序看成一個一個“黑盒，也就是說，他不關懷程序黑盒，也就是說，他不關懷程序內部是怎樣做的，而只想檢查程序能否內部是怎樣做的，而只想檢查程序能否符合它的符合它的“功能闡明。所以黑盒法測試功能闡明。所以黑盒法測試時，測試用例都是完全根據(jù)程序的功能時，測試用例都是完全根據(jù)程序的功能闡明來設計的。假設想用黑盒法發(fā)現(xiàn)程闡明來設計的。假設想用黑盒法發(fā)現(xiàn)程序中的一切錯誤，那么必需用輸入數(shù)據(jù)序中的一切錯誤，那么必需用輸入數(shù)據(jù)的一切能夠值來檢查程序能否都能產(chǎn)生的一切能夠值來檢查程序能否都能產(chǎn)生正確

3、的結果。正確的結果。 第第5 5章章 軟件檢驗軟件檢驗圖5.1 程序的輸入變量與輸出變量模塊XZXY第第5 5章章 軟件檢驗軟件檢驗 白盒法是指測試人員必需了解程序的內部構造，此時，測試用例是根據(jù)程序的內部邏輯構造來設計的。假設想用白盒法發(fā)現(xiàn)程序中的一切錯誤，那么至少必需使程序中每種能夠的執(zhí)行途徑都執(zhí)行一次。 例如，圖5.1是一個很簡單的程序，它有兩個輸入變量x、y，一個輸出變量z。假定程序是在字長為32位的計算機上運轉，且x、y都是整數(shù)，那么輸入數(shù)據(jù)的能夠值有232232264種。 假設這個程序執(zhí)行一次需0.5 ms，那么執(zhí)行264次運算將需2.9億年! 圖5.2是一個小程序控制流程圖。這個

4、程序由一個循環(huán)語句組成，循環(huán)次數(shù)達20 次，循環(huán)體內是一組嵌套的IF語句，其能夠的途徑有多條，所以從A到B的途徑多達520條。 第第5 5章章 軟件檢驗軟件檢驗AB圖5.2 程序控制流程圖 第第5 5章章 軟件檢驗軟件檢驗 假設用這么多情況測試它，并假設執(zhí)行一條途徑需0.5 ms，那么完成測試需1512年! 這兩種測試方法在設計測試用例上是不可取的，也是不可行的。為此，設計人員提出了以下幾種設計測試用例的方法：隨機抽取測試用例、抽取典型測試用例、抽取邊境測試用例、抽取混合測試用例。這些設計測試用例的方法各有特點，至于運用哪種，可根據(jù)測試對象的不同分別選用一種，或結合運用。第第5 5章章 軟件檢

5、驗軟件檢驗5.2 靜靜 態(tài)態(tài) 檢檢 驗驗 靜態(tài)檢驗是指用人工閱讀文檔和程序，從中發(fā)現(xiàn)錯誤，或用一些輔助工具來完成這種任務，這種技術也稱為評審。實際證明它是一種很有效的技術。 評審的種類很多，包括需求復查、概要設計(總體設計)復查、詳細設計復查、程序復查和走查等，其正規(guī)化的程度、方式和參與的人員有所不同。本節(jié)就此概括討論評審過程和評審條款等問題。 1評審過程 為了盡早發(fā)現(xiàn)并糾正錯誤，應將評審任務與開發(fā)過程結合起來，使評審成為前一階段之后必需進展的步驟，這樣的方式可用圖5.3來闡明。 第第5 5章章 軟件檢驗軟件檢驗圖5.3 評審方式系統(tǒng)需求需求復查需求說明書分析設計設計復查設計文檔編程程序程序復

6、查測試第第5 5章章 軟件檢驗軟件檢驗 由于評審的目的是發(fā)現(xiàn)錯誤，為了獲得較好的效果，評審應由開發(fā)人員之外的人來主持，開發(fā)人員與評審人員相互獨立是保證評審質量的重要措施之一。評審人員應在軟件開發(fā)技術和檢驗技術方面受過良好的訓練，有豐富的軟件開發(fā)閱歷。 程序走查(Code Walkthrough)是另一種有效的評審活動。走查的關鍵在于：以人工運轉作為媒介，經(jīng)過這種方式啟發(fā)與會者向程序員提出種種問題，從而發(fā)現(xiàn)程序中的錯誤。 2.評審條款 評審的目的是盡量快、盡量多地發(fā)現(xiàn)錯誤，所以普通的做法是將軟件中常見的各類錯誤列成清單作為評審條款。評審過程中按評審條款有針對性地進展檢查，就可到達多、快、好、省的

7、目的。 評審條款隨系統(tǒng)的不同可有所不同，可根據(jù)軟件系統(tǒng)的性質和復查專家的閱歷來設定。第第5 5章章 軟件檢驗軟件檢驗 5.3 正正確確性性證證明明 動態(tài)檢驗和靜態(tài)檢驗的根本問題在于不能夠闡明軟件中不存在錯誤，人們所能做到的最好的結果是發(fā)現(xiàn)錯誤，因此自然希望能找到某種方法能確切地證明程序是沒有錯誤的，這就出現(xiàn)了程序正確性證明的研討領域。 程序證明最常用的方法是歸納斷言法，它對程序提出一組命題，如能用數(shù)學方法證明這些命題成立，就可以保證程序中不存在錯誤，即它對一切的輸入都會產(chǎn)生預期的正確輸出。但是程序證明存在兩個問題：其一是如何設置命題和證明命題，其二是在證明中如何定義“錯誤。 總之，程序正確性證

8、明是一個鼓舞人心的想法，但間隔適用還有一段路要科學技術人員去走。第第5 5章章 軟件檢驗軟件檢驗5.4 測測 試試 步步 驟驟 軟件開發(fā)過程閱歷了分析、設計、編程等階段，每個階段都能夠產(chǎn)生各種各樣的錯誤。據(jù)統(tǒng)計，開發(fā)早期犯下的錯誤(如誤解了用戶的要求、模塊界面之間有沖突等)比編程階段犯的錯誤要多。為了發(fā)現(xiàn)各階段產(chǎn)生的錯誤，測試過程應該與分析、設計、編程的過程具有類似的構造，以便針對每一階段能夠產(chǎn)生的錯誤，采用某些特殊的測試技術，所以測試過程通?？梢苑秩竭M展： (1) 模塊測試(Module Testing)； (2) 結合測試(Integration Testing)； (3) 系統(tǒng)測試(S

9、ystem Testing)。第第5 5章章 軟件檢驗軟件檢驗 模塊測試是對一個模塊進展測試，其目的是根據(jù)該模塊的功能闡明檢驗模塊能否存在錯誤。模塊測試主要可發(fā)現(xiàn)詳細設計和編程時犯下的錯誤，如某個變量未賦值、數(shù)組的上下界不正確等。 程序員在完成某個模塊的編程之后，普通總是要先對該模塊進展私下的測試，此時，可以先用白盒法選擇一些例子檢驗程序的內部邏輯，再用黑盒法補充一些例子。程序員本人經(jīng)私下測試后以為程序根本可行，才會將程序交付出來。程序交付出來之后，由其他人員以黑盒法為主再次對該模塊進展測試。 結合測試又稱集成測試或聯(lián)調，其目的是根據(jù)模塊構造圖將各個模塊銜接起來進展，以便發(fā)現(xiàn)問題。結合測試可以發(fā)現(xiàn)概要設計時犯的錯誤，如模塊界面上的問題等。與后面的系統(tǒng)測試一樣，結合測試的主要目的已不是發(fā)現(xiàn)模塊內部的錯誤，所以通常只采用黑盒法。第第5 5章章 軟件檢驗軟件檢驗圖5.4 軟件開發(fā)過程分析綜合測試設計聯(lián)合測試編程模塊測試第第5 5章章 軟件檢驗軟件檢驗 系統(tǒng)測試將硬件、軟件和操作人員等視為一個整體，檢驗它能否有不符合需求闡明書的地方，這一步可以發(fā)現(xiàn)設計和分析階段的錯誤，如誤解了用戶的要求，與用戶要求有沖突等。系統(tǒng)測試后就可由用戶來驗收。 測試中如發(fā)現(xiàn)錯誤，需求回到編程、設計、分析等階段作相應的修正，也就是說，需求進展“