軟件工程第七章-軟件測試培訓(xùn)資料

軟件工程第七章-軟件測試abcTrianglea,b,c三角形的類型？2starta<b+c?b<a+c?c<a+b?a=b?b=c?印出“不是三角形”印出“等邊三角形”印出“等腰三角形”印出“不等邊三角形”a=c?b=c?FTFFTTTTFFFFTTstop程序流程圖程序圖3黑盒測試（等價劃分）正常的三角形（a,b,c)不等邊三角形(8,10,12);(10,8,12);(10,12,8)等邊三角形(10,10,10)等腰三角形(10,10,17);(10,17,10);(17,10,10)4黑盒測試（等價劃分）退化的三角形（a,b,c)不等邊三角形(10,6,4)等邊三角形(0,0,0)等腰三角形(10,5,5);(5,10,5);(10,5,5)5黑盒測試（等價劃分）不能構(gòu)成三角形的非法數(shù)據(jù)(a,b,c)a+b<c(10,10,21)b+c<a(21,10,10)c+a<b(10,21,10)6黑盒測試（邊界值分析）一條邊長度為零的情況（0，10，12）;（10，0，12）;（10，12，0）兩條邊的長度為零的情況（0，0，17）；（0，17，0）；（17，0，0）三條邊的長度為零的情況（0，0，0）7輸入數(shù)據(jù)中包含負(fù)整數(shù)（-10，-10，-10)……輸入數(shù)據(jù)不全（不足三個正整數(shù)）（10，-，-）……輸入數(shù)據(jù)中包含非整數(shù)型的數(shù)據(jù)(a,b,c)(1.2,6e-4,7.8)……黑盒測試（錯誤推測）8調(diào)試（Debug）軟件調(diào)試是在進(jìn)行了成功的測試之后才開始的工作。它與軟件測試不同，調(diào)試的任務(wù)是進(jìn)一步診斷和改正程序中潛在的錯誤。調(diào)試活動由兩部分組成：

確定程序中可疑錯誤的確切性質(zhì)和位置。對程序(設(shè)計,編碼)進(jìn)行修改，排除這個錯誤。

9調(diào)試工作是一個具有很強(qiáng)技巧性的工作。軟件運行失效或出現(xiàn)問題，往往只是潛在錯誤的外部表現(xiàn)，而外部表現(xiàn)與內(nèi)在原因之間常常沒有明顯的聯(lián)系。如果要找出真正的原因，排除潛在的錯誤，不是一件易事?？梢哉f，調(diào)試是通過現(xiàn)象，找出原因的一個思維分析的過程。

10調(diào)試的步驟(1)從錯誤的外部表現(xiàn)形式入手，確定程序中出錯位置；(2)研究有關(guān)部分的程序，找出錯誤的內(nèi)在原因；(3)修改設(shè)計和代碼，以排除這個錯誤；(4)重復(fù)進(jìn)行暴露了這個錯誤的原始測試或某些有關(guān)測試。

11從技術(shù)角度來看，查找錯誤的難度在于：現(xiàn)象與原因所處的位置可能相距甚遠(yuǎn)。當(dāng)其它錯誤得到糾正時，這一錯誤所表現(xiàn)出的現(xiàn)象可能會暫時消失，但并未實際排除?，F(xiàn)象實際上是由一些非錯誤原因(例如，舍入不精確)引起的。12現(xiàn)象可能是由于一些不容易發(fā)現(xiàn)的人為錯誤引起的。錯誤是由于時序問題引起的，與處理過程無關(guān)?，F(xiàn)象是由于難于精確再現(xiàn)的輸入狀態(tài)（例如，實時應(yīng)用中輸入順序不確定）引起?，F(xiàn)象可能是周期出現(xiàn)的。在軟、硬件結(jié)合的嵌入式系統(tǒng)中常常遇到。

13幾種主要的調(diào)試方法調(diào)試的關(guān)鍵在于推斷程序內(nèi)部的錯誤位置及原因?？梢圆捎靡韵路椒ǎ簭?qiáng)行排錯 這種調(diào)試方法目前使用較多，效率較低。它不需要過多的思考，比較省腦筋。例如：

通過內(nèi)存全部打印來調(diào)試，在這大量的數(shù)據(jù)中尋找出錯的位置。14

在程序特定部位設(shè)置打印語句，把打印語句插在出錯的源程序的各個關(guān)鍵變量改變部位、重要分支部位、子程序調(diào)用部位，跟蹤程序的執(zhí)行，監(jiān)視重要變量的變化。

自動調(diào)試工具。利用某些程序語言的調(diào)試功能或?qū)ｉT的交互式調(diào)試工具，分析程序的動態(tài)過程，而不必修改程序。

15 應(yīng)用以上任一種方法之前，都應(yīng)當(dāng)對錯誤的征兆進(jìn)行全面徹底的分析，得出對出錯位置及錯誤性質(zhì)的推測，再使用一種適當(dāng)?shù)恼{(diào)試方法來檢驗推測的正確性?；厮莘ㄕ{(diào)試

這是在小程序中常用的一種有效的調(diào)試方法。

一旦發(fā)現(xiàn)了錯誤，人們先分析錯誤征兆，確定最先發(fā)現(xiàn)“癥狀”的位置。16 然后，人工沿程序的控制流程，向回追蹤源程序代碼，直到找到錯誤根源或確定錯誤產(chǎn)生的范圍。例如，程序中發(fā)現(xiàn)錯誤處是某個打印語句。通過輸出值可推斷程序在這一點上變量的值。再從這一點出發(fā)，回溯程序的執(zhí)行過程，反復(fù)考慮：“如果程序在這一點上的狀態(tài)（變量的值）是這樣，那么程序在上一點的狀態(tài)一定是這樣...”，直到找到錯誤的位置。

17歸納法調(diào)試歸納法是一種從特殊推斷一般的系統(tǒng)化思考方法。歸納法調(diào)試的基本思想是：從一些線索(錯誤征兆)著手，通過分析它們之間的關(guān)系來找出錯誤。

收集有關(guān)的數(shù)據(jù)

列出所有已知的測試用例和程序執(zhí)行結(jié)果?？茨男┹斎霐?shù)據(jù)的運行結(jié)果是正確的，哪些輸入數(shù)據(jù)的運行結(jié)果有錯誤。

18

組織數(shù)據(jù)

由于歸納法是從特殊到一般的推斷過程，所以需要組織整理數(shù)據(jù)，以發(fā)現(xiàn)規(guī)律。常以3W1H形式組織可用的數(shù)據(jù)：“What”列出一般現(xiàn)象；“Where”說明發(fā)現(xiàn)現(xiàn)象的地點；“When”列出現(xiàn)象發(fā)生時所有已知情況；“How”說明現(xiàn)象的范圍和量級；1920“Yes”描述出現(xiàn)錯誤的3W1H；“No”作為比較，描述了沒有錯誤的3W1H。通過分析找出矛盾來。

提出假設(shè) 分析線索之間的關(guān)系，利用在線索結(jié)構(gòu)中觀察到的矛盾現(xiàn)象，設(shè)計一個或多個關(guān)于出錯原因的假設(shè)。如果一個假設(shè)也提不出來，歸納過程就需要收集更多的數(shù)據(jù)。此時，應(yīng)當(dāng)再設(shè)計與執(zhí)行一些測試用例，以獲得更多的數(shù)據(jù)。

21

證明假設(shè)把假設(shè)與原始線索或數(shù)據(jù)進(jìn)行比較，若它能完全解釋一切現(xiàn)象，則假設(shè)得到證明；否則，就認(rèn)為假設(shè)不合理，或不完全，或是存在多個錯誤，以致只能消除部分錯誤。22演繹法調(diào)試

演繹法是一種從一般原理或前提出發(fā)，經(jīng)過排除和精化的過程來推導(dǎo)出結(jié)論的思考方法。演繹法排錯是測試人員首先根據(jù)已有的測試用例，設(shè)想及枚舉出所有可能出錯的原因做為假設(shè)；然后再用原始測試數(shù)據(jù)或新的測試，從中逐個排除不可能正確的假設(shè)；最后，再用測試數(shù)據(jù)驗證余下的假設(shè)確是出錯的原因。23

列舉所有可能出錯原因的假設(shè)

把所有可能的錯誤原因列成表。通過它們，可以組織、分析現(xiàn)有數(shù)據(jù)。

利用已有的測試數(shù)據(jù)，排除不正確的假設(shè)

仔細(xì)分析已有的數(shù)據(jù)，尋找矛盾，力求排除前一步列出所有原因。如果所有原因都被排除了，則需要補充一些數(shù)據(jù)(測試用例)，以建立新的假設(shè)。24

改進(jìn)余下的假設(shè)

利用已知的線索，進(jìn)一步改進(jìn)余下的假設(shè)，使之更具體化，以便可以精確地確定出錯位置。

證明余下的假設(shè)25調(diào)試原則在調(diào)試方面，許多原則本質(zhì)上是心理學(xué)方面的問題。調(diào)試由兩部分組成，調(diào)試原則也分成兩組。確定錯誤的性質(zhì)和位置的原則用頭腦去分析思考與錯誤征兆有關(guān)的信息。避開死胡同。26只把調(diào)試工具當(dāng)做輔助手段來使用。利用調(diào)試工具，可以幫助思考，但不能代替思考。避免用試探法，最多只能把它當(dāng)做最后手段。修改錯誤的原則在出現(xiàn)錯誤的地方，很可能還有別的錯誤。2