白盒測試以檢查處理過程的細(xì)節(jié)為基礎(chǔ)，對程序中盡可能多的（）進行測試，檢查內(nèi)部（）和（）是否有錯，程序的（）與預(yù)期的狀態(tài)是否一致。

建立分析和設(shè)計模型的一種重要方法是UML。試問UML是一種什么樣的建模方法？它如何表示一個系統(tǒng)？

軟件測試階段的基本任務(wù)應(yīng)當(dāng)是根據(jù)軟件開發(fā)各階段的（）和程序的（），精心設(shè)計一批“高產(chǎn)”的測試用例，利用這些測試用例（），找出軟件中潛藏的各種錯誤和缺陷。

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

軟件的組裝測試最好是由（）承擔(dān)，以提高組裝測試的效果。

軟件測試是軟件質(zhì)量保證的主要手段之一，測試的成本已超過（）的30%以上。因此，提高測試的有效性非常重要。

基于復(fù)用的面向?qū)ο蟮男枨蠓治鲞^程主要分為兩個階段：論域分析和應(yīng)用分析。試討論它們各自承擔(dān)什么任務(wù)？如何銜接？

如圖所示的程序有三條不同的路徑。分別表示為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)的最小測試用例組。（用~①⑩回答）供選擇的答案：

如果想要進行成功的測試，為其設(shè)計測試用例主要依賴于（）。

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