软体测试与验证 - 台北科技大学.pdfVIP

軟體品質課程 軟體測試與驗證 郭忠義 jykuo@ntut.edu.tw 臺北科技大學資訊工程系 國立臺北科技大學資訊工程系郭忠義 1 軟體品質課程 大綱 測試涵蓋度準則 靜態測試分析 國立臺北科技大學資訊工程系郭忠義 2 軟體品質課程 測試涵蓋度準則 結構涵蓋度準則Structural coverage criteria/White-box testing  control-flow coverage • statement coverage • branch coverage/decision coverage/edge coverage • condition coverage • decision-condition coverage • multiple condition combination coverage • loop coverage – 通過0次，1次，多次 • all path coverage 國立臺北科技大學資訊工程系郭忠義 3 軟體品質課程 測試涵蓋度準則 結構涵蓋度準則Structural coverage criteria/White-box testing  control-flow coverage 國立臺北科技大學資訊工程系郭忠義 4 軟體品質課程 測試涵蓋度準則 結構涵蓋度準則Structural coverage criteria/White-box testing  data-flow coverage 國立臺北科技大學資訊工程系郭忠義 5 軟體品質課程 測試涵蓋度準則 資料涵蓋度準則 Data coverage criteria/Black-box testing  兩個極端coverage • one-value coverage: domain中取一個值 • all-value coverage: domain中取所有的值 實務上的 coverage • statistical data coverage – random value coverage: random test –使用Markov chains • pairwise testing • boundary coverage 國立臺北科技大學資訊工程系郭忠義 6 軟體品質課程 測試涵蓋度準則 資料涵蓋度準則 Data coverage criteria/Black-box testing