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

在基本路徑測試中，獨立路徑是指包括一組以前沒有處理過的（）的一條路徑。從程序圖來看，一條獨立路徑是至少包含有一條（）的邊的路徑。

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

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

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

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

在學校教學管理系統(tǒng)中，學生查詢成績就是系統(tǒng)中的一次交互，請用狀態(tài)圖來描述這種交互的行為。

在類的設(shè)計中需要遵循的方針是什么？三個主要的設(shè)計準則：抽象、信息隱蔽和模塊化如何才能做到？

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

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