白盒測(cè)試邏輯覆蓋ppt課件-資料下載頁(yè)
2025-05-01 18:06本頁(yè)面
【正文】 是一定滿(mǎn)足判定覆蓋、條件覆蓋和判定 /條件覆蓋的。 序號(hào) a b c aamp。amp。(b||c) 1 T T T T 2 T T F T 3 T F T T 4 T F F F 5 F T T F 6 F T F F 7 F F T F 8 F F F F ? 判定語(yǔ)句中 3個(gè)邏輯條件，每個(gè)邏輯條件有2種可能取值，共 23＝ 8種可能組合。 修正條件判定覆蓋 (MCDC) ? 修正條件判定覆蓋是由歐美的航空 /航天制造廠商和使用單位聯(lián)合制定的“航空運(yùn)輸和裝備系統(tǒng)軟件認(rèn)證標(biāo)準(zhǔn)”，目前在國(guó)外的國(guó)防、航空航天領(lǐng)域應(yīng)用廣泛。 ? 有資料表明，波音 777整體設(shè)計(jì)費(fèi)用的 25%都花在了軟件的 MC/DC測(cè)試上。 ? 含義：需要足夠的測(cè)試用例來(lái)確定各個(gè)條件能夠影響到包含的判定的結(jié)果，即要求滿(mǎn)足兩個(gè)條件： ? 每一個(gè)程序模塊的入口和出口點(diǎn)都要考慮至少要被調(diào)用一次，每個(gè)程序的判定到所有可能的結(jié)果值要至少轉(zhuǎn)換一次； ? 程序的判定被分解為通過(guò)邏輯操作符 (amp。amp。,||)連接的邏輯條件，每個(gè)條件對(duì)于判定的結(jié)果值是獨(dú)立的。 序號(hào) a b c aamp。amp。(b||c) a b c 1 T T T T 5 2 T T F T 6 4 3 T F T T 7 4 4 T F F F 2 3 5 F T T F 1 6 F T F F 2 7 F F T F 3 8 F F F F ? 通過(guò)上表可以看出，布爾變量 a可以通過(guò)用例 1和 5達(dá)到 MCDC的要求（用例 2和 6或用例 3和 7也可以滿(mǎn)足相應(yīng)要求），變量 b可以通過(guò)用例 2和 4達(dá)到 MCDC的要求，變量 c可以通過(guò)用例 3和 4達(dá)到MCDC的要求，因此使用用例集{1,2,3,4,5}即可滿(mǎn)足 MCDC的要求。顯然，這不是唯一的用例組合。
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1