如圖所示的程序有三條不同的路徑。分別表示為L1（a→b）、L2（a→c→d）、L3（a→c→e），或簡寫為ace、abd、abe及acd。根據(jù)判定覆蓋、條件覆蓋、判定–條件覆蓋、條件組合覆蓋和路徑覆蓋等五種覆蓋標(biāo)準(zhǔn)，從供選擇的答案中分別找出滿足相應(yīng)覆蓋標(biāo)準(zhǔn)的最小測試用例組。（用~①⑩回答）供選擇的答案：

IBM公司的統(tǒng)計資料表明，使用靜態(tài)測試的方法最高可以查出在測試中查出的全部軟件錯誤的（）。

黑盒測試依據(jù)（），檢查程序是否滿足（）。因此，黑盒測試由稱為功能測試或（）測試。

軟件測試計劃是一些文檔，它們描述了（）。

由因果圖轉(zhuǎn)換出來的（）是確定測試用例的基礎(chǔ)。

基于復(fù)用的面向?qū)ο箝_發(fā)過程分為哪幾個階段？每一個階段需要做哪些事情？

對小的程序進(jìn)行窮舉測試是可能的，用窮舉測試能否保證程序是百分之百正確呢？

等價類劃分完成后，就可得出（），它是確定測試用例的基礎(chǔ)。

錯誤的群集現(xiàn)象是指模塊錯誤發(fā)現(xiàn)率與模塊的殘留錯誤數(shù)成（）關(guān)系。

使用面向?qū)ο笤O(shè)計方法進(jìn)行高層設(shè)計，以建立系統(tǒng)的體系結(jié)構(gòu)。這樣的結(jié)構(gòu)有哪幾種主要的組成部分？每一部分所承擔(dān)的職責(zé)是什么？