軟件測試 forthday(白盒測試)

一、白盒測試的特性

1.白盒測試又稱爲結構測試、邏輯驅動測試或基於程序的測試。

2.也成爲基於覆蓋的測試。

3.黑盒測試在確認階段、系統階段進行;白盒測試在編碼、集成測試階段進行;

二、白盒測試的策略

1.桌前檢查(Desk Check):程序員自己檢查;

2.同行評審(Peer Review):小組內檢查;

3.代碼走查(Walkthrough):走查小組檢查;

4.靜態分析(static analyse)

5.單元測試(Unit Testing)

三、邏輯覆蓋測試的基本概念

1.e=(T(e),H(e))是一對有序的鄰接結點,T(e)是尾,H(e)是頭;

2.H(e)是T(e)的後繼節點,T(e)是H(e)的前驅結點;

四、函數的控制流圖

1.通常一個程序控制流圖可表示爲(N,E,entry,exit);

2.簡單通俗地說:控制流圖即是具有單一的、固定的入口節點和出口節點的有向圖;

五、控制流覆蓋準則

1.語句覆蓋準則:使得每一條可執行語句至少執行一次;

2.分支覆蓋準則:每個判斷的取真分支和取假分支至少執行一次;

3.原子謂詞覆蓋準則:每個複合謂詞所包含的每一個原子謂詞都至少獲得一次“真”值和一次“假”值;

4.分支謂詞覆蓋準測:不僅每個複合謂詞所包含的每一個原子謂詞都至少獲得一次“真”值和“假”值,而且每個複合謂詞本身也至少獲得一次“真”值和一次“假”值;

5.複合謂詞覆蓋準則:每個謂詞中條件的各種可能都至少出現一次;

6.路徑覆蓋準則:所有可能路徑;

六、代碼審查和代碼走查

七、強變異測試和弱變異測試

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章