白盒測試之理論篇ppt課件-資料下載頁
2025-05-05 18:55本頁面
【正文】 而且語句 S定義的 X在語句 S′有效 ? 使用鏈的測試策略 要求每個(gè) DU鏈至少覆蓋一次 ? 可以證明 DU測試不能保證覆蓋程序的所有分支 循環(huán)測試 ? 循環(huán)測試是一種白盒測試技術(shù) ， 著重于 檢查循環(huán)結(jié)構(gòu)的有效性 。 ? 有如下四種循環(huán)： 簡單循環(huán) 嵌套循環(huán) 串接循環(huán) 不規(guī)則循環(huán) 循環(huán)測試 ? 簡單循環(huán) ? 整個(gè)跳過循環(huán) ? 只有一次通過循環(huán) ? 兩次通過循環(huán) ? m次通過循環(huán) ， 其中 mn ? n1， n,n+1次通過循環(huán) ? 其中 n是允許通過循環(huán)的最大次數(shù) ? 嵌套循環(huán) ? 如果將簡單循環(huán)的測試方法用于嵌套循環(huán) ， 可能的測試數(shù)就會隨嵌套層數(shù)成幾何級增加 ， 這會導(dǎo)致不實(shí)際的測試數(shù)目 ? 減少測試數(shù)的方法 對最內(nèi)層循環(huán)使用簡單循環(huán) ， 而使外層循環(huán)的循環(huán)參數(shù) （ 即循環(huán)計(jì)數(shù) ） 最小 ， 并為范圍外或排除的值增加其它測試 由內(nèi)向外構(gòu)造下一個(gè)循環(huán)的測試 ， 但其它的外層循環(huán)為最小值 ， 并使其 它的嵌套循環(huán)為 “ 典型 ” 值繼續(xù)直到測試所有的循環(huán) 循環(huán)測試 ? 串接循環(huán) ? 如果串接循環(huán)的循環(huán)都彼此獨(dú)立 ， 可是使用嵌套的策略測試 ? 如果兩個(gè)循環(huán)串接起來 ， 而第一個(gè)循環(huán)是第二個(gè)循環(huán)的初始值 ， 則這兩個(gè)循環(huán)并不是獨(dú)立的 。 則可使用測試嵌套循環(huán)的方法進(jìn)行測試 ? 不規(guī)則循環(huán) ? 不能測試 ， 盡量重新設(shè)計(jì)給結(jié)構(gòu)化的程序結(jié)構(gòu)后再進(jìn)行測試 域測試 ? 域是指程序的輸入空間 ? 輸入空間又可以劃分成若干個(gè)子空間 ， 每個(gè)子空間對應(yīng)一種不同的計(jì)算 ， 子空間的劃分是由分支語句的條件式?jīng)Q定的 ? 有時(shí)將一個(gè)域稱為一個(gè)等介類 ? 域測試主要是針對域錯(cuò)誤進(jìn)行的測試 ? 域錯(cuò)誤 ? 如果程序的控制流有錯(cuò)誤 ， 對于某些特定的正確輸入 ， 可能執(zhí)行的是一條錯(cuò)誤的路徑 ， 這種錯(cuò)誤稱為域錯(cuò)誤 ? 域測試就是在分析輸入域的基礎(chǔ)上 ， 選擇適當(dāng)?shù)臏y試點(diǎn)進(jìn)行測試 ? 域測試的不足 ? 域測試對程序的限制較多 ? 當(dāng)程序中有很多的路徑時(shí) ， 所需的測試點(diǎn)太多 Z路徑測試 ? 將程序中的循環(huán)次數(shù)加以限制，通常為循環(huán) 1次或 0次，這樣就將循環(huán)結(jié)構(gòu)變?yōu)榉种ЫY(jié)構(gòu)，這種方法稱為 Z路徑測試 ? Z路徑測試能有效降低被測程序的路徑數(shù) 面向?qū)ο蟮陌缀袦y試 對面向?qū)ο筌浖念悳y試相當(dāng)于傳統(tǒng)軟件的單元測試。和傳統(tǒng)軟件的單元測試不同，他往往關(guān)注模塊的算法細(xì)節(jié)和模塊接口間流動的數(shù)據(jù)，面向?qū)ο筌浖念悳y試是由封裝在類中的操作和類的狀態(tài)行為所驅(qū)動的。 面向?qū)ο筌浖y試的特點(diǎn)： ? 因?yàn)閷傩院筒僮魇潜环庋b的，對類之外操作的測試通常是徒勞的。封裝使對對象的狀態(tài)快照難于獲得。 ? 繼承也給測試帶來了難度，即使是徹底復(fù)用的，對每個(gè)新的使用語境也需要重新測試。 ? 多重繼承更增加了需要測試的語境的數(shù)量，使測試進(jìn)一步復(fù)雜化。如果從超類導(dǎo)出的測試用例被用于相同的問題域，有可能對超類導(dǎo)出的測試用例集可以用于子類的測試，然而，如果子類被用于完全不同的語境，則超類的測試用例將沒有多大用途，必須設(shè)計(jì)新的測試用例集。 類測試方式 ? 類測試一般有兩種主要的方式： 功能性測試和結(jié)構(gòu)性測試，即對應(yīng)于傳統(tǒng)結(jié)構(gòu)化軟件的黑盒測試和白盒測試。 功能性測試以類的規(guī)格說明為基礎(chǔ)，它主要檢查類是否符合其規(guī)格說明的要求。例如，對于Stack類，即檢查它的操作是否滿足 LIFO規(guī)則； 結(jié)構(gòu)性測試則從程序出發(fā)，它需要考慮其中的代碼是否正確，同樣是 Stack類，就要檢查其中代碼是否動作正確且至少執(zhí)行過一次。 總結(jié)： “ 白盒測試 ” 法全面了解程序內(nèi)部邏輯結(jié)構(gòu)、對所有邏輯路徑進(jìn)行測試。 “ 白盒 ” 法是窮舉路徑測試。在使用這一方案時(shí)，測試者必須檢查程序的內(nèi)部結(jié)構(gòu)，從檢查程序的邏輯著手，得出測試數(shù)據(jù)。貫穿程序的獨(dú)立路徑數(shù)是天文數(shù)字。但即使每條路徑都測試了仍然可能有錯(cuò)誤。 第一、窮舉路徑測試決不能查出程序違反了設(shè)計(jì)規(guī)范，即程序本身 是個(gè)錯(cuò)誤的程序； 第二、窮舉路徑測試不可能查出程序中因遺漏路徑而出錯(cuò)。 第三、窮舉路徑測試可能發(fā)現(xiàn)不了一些與數(shù)據(jù)相關(guān)的錯(cuò)誤。 白盒測試工具 ? 人工測試發(fā)現(xiàn) 70%～ 80%，白盒測試往往需要更多的人工測試，當(dāng)然在黑盒測試階段也需要很多的人工測試。但是白盒測試需要很大的工作量，人員和時(shí)間等資源，所以最好有測試工具的支持，可以減少手工工作量。 ? JUnit適用于 Java開發(fā)人員在單元測試階段，進(jìn)行白盒測試，是進(jìn)行回歸測試的工具，進(jìn)行單個(gè)方法實(shí)現(xiàn)功能或者類本身的測試 ? JUnit需要測試者自己編程，編寫的測試代碼必須滿足JUnit框架的要求。 謝謝 ?
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1