從下列關(guān)于軟件測(cè)試的敘述中，選出5條正確的敘述。（1）用黑盒法測(cè)試時(shí)，測(cè)試用例是根據(jù)程序內(nèi)部邏輯設(shè)計(jì)的。（2）盡量用公共過(guò)程或子程序去代替重復(fù)的代碼段。（3）測(cè)試是為了驗(yàn)證該軟件已正確地實(shí)現(xiàn)了用戶的要求。（4）對(duì)于連鎖型分支結(jié)構(gòu)，若有n個(gè)判定語(yǔ)句，則有2n條路徑。（5）盡量采用復(fù)合的條件測(cè)試，以避免嵌套的分支結(jié)構(gòu)？（6）GOTO語(yǔ)句概念簡(jiǎn)單，使用方便，在某些情況下，保留GOTO語(yǔ)句反能使寫出的程序更加簡(jiǎn)潔。（7）發(fā)現(xiàn)錯(cuò)誤多的程序模塊，殘留在模塊中的錯(cuò)誤也多。（8）黑盒測(cè)試方法中最有效的是因果圖法。（9）在做程序的單元測(cè)試時(shí)，樁（存根）模塊比驅(qū)動(dòng)模塊容易編寫。（10）程序效率的提高主要應(yīng)通過(guò)選擇高效的算法來(lái)實(shí)現(xiàn)。

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

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

在單元測(cè)試中，驅(qū)動(dòng)模塊的作用是用來(lái)模擬被測(cè)模塊的（）。它的工作是接受（），以上層模塊調(diào)用被測(cè)模塊的形式（）被測(cè)模塊，接收被測(cè)模塊的（）并輸出。

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

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

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

什么是“類”？“類”與傳統(tǒng)的數(shù)據(jù)類型有什么關(guān)系？有什么區(qū)別？

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

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