|
白盒測試也稱結(jié)構(gòu)測試或邏輯驅(qū)動測試，它是按照程序內(nèi)部的結(jié)構(gòu)測試程序，通過測試來檢測產(chǎn)品內(nèi)部動作是否按照設(shè)計(jì)規(guī)格說明書的規(guī)定正常進(jìn)行，檢驗(yàn)程序中的每條通路是否都能按預(yù)定要求正確工作。 ·語句覆蓋 為了暴露程序中的錯誤，程序中的每條語句至少應(yīng)該執(zhí)行一次。因此語句覆蓋（Statement Coverage）的含義是：選擇足夠多的測試數(shù)據(jù)，使被測程序中每條語句至少執(zhí)行一次。語句覆蓋是很弱的邏輯覆蓋。 ·判定覆蓋 比語句覆蓋稍強(qiáng)的覆蓋標(biāo)準(zhǔn)是判定覆蓋（Decision Coverage）。判定覆蓋的含義是：設(shè)計(jì)足夠的測試用例，使得程序中的每個判定至少都獲得一次“真值”或“假值”，或者說使得程序中的每一個取“真” 分支和取“假”分支至少經(jīng)歷一次，因此判定覆蓋又稱為分支覆蓋。 ·條件覆蓋 在設(shè)計(jì)程序中，一個判定語句是由多個條件組合而成的復(fù)合判定。為了更徹底地實(shí)現(xiàn)邏輯覆蓋，可以采用條件覆蓋（Condition Coverage）的標(biāo)準(zhǔn)。條件覆蓋的含義是：構(gòu)造一組測試用例，使得每一判定語句中每個邏輯條件的可能值至少滿足一次。 ·多條件覆蓋 多條件覆蓋也稱條件組合覆蓋，它的含義是：設(shè)計(jì)足夠的測試用例，使得每個判定中條件的各種可能組合都至少出現(xiàn)一次。顯然滿足多條件覆蓋的測試用例是一定滿足判定覆蓋、條件覆蓋和條件判定組合覆蓋的。 ·修正條件判定覆蓋 修正條件判定覆蓋是由歐美的航空/航天制造廠商和使用單位聯(lián)合制定的“航空運(yùn)輸和裝備系統(tǒng)軟件認(rèn)證標(biāo)準(zhǔn)”，目前在國外的國防、航空航天領(lǐng)域應(yīng)用廣泛。這個 覆蓋度量需要足夠的測試用例來確定各個條件能夠影響到包含的判定的結(jié)果。它要求滿足兩個條件：首先，每一個程序模塊的入口和出口點(diǎn)都要考慮至少要被調(diào)用一 次，每個程序的判定到所有可能的結(jié)果值要至少轉(zhuǎn)換一次；其次，程序的判定被分解為通過邏輯操作符（and、or）連接的布爾條件，每個條件對于判定的結(jié)果 值是獨(dú)立的。 ============== 黑盒測試： 具體的黑盒測試用例設(shè)計(jì)方法包括 1.等價(jià)類劃分法、 2邊界值分析法、 3.錯誤推測法、 4.因果圖法、 5.判定表驅(qū)動法、 6.正交試驗(yàn)設(shè)計(jì)法、 7.功能圖法等 |
|
|
