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

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

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

下面是選擇排序的程序，其中datalist是數(shù)據(jù)表，它有兩個(gè)數(shù)據(jù)成員：一是元素類型為Element的數(shù)組V，另一個(gè)是數(shù)組大小n。算法中用到兩個(gè)操作，一是取某數(shù)組元素V[i]的關(guān)鍵碼操作getKey（），一是交換兩數(shù)組元素內(nèi)容的操作Swap（）：（1）試計(jì)算此程序段的McCabe復(fù)雜性；（2）用基本路徑覆蓋法給出測試路徑；（3）為各測試路徑設(shè)計(jì)測試用例。

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

動(dòng)態(tài)測試指通過（）發(fā)現(xiàn)錯(cuò)誤。對軟件產(chǎn)品進(jìn)行動(dòng)態(tài)測試時(shí)使用黑盒測試法和（）法。

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

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

面向?qū)ο蟮奶卣魇牵ǎ?、（）和（）、（）?/p>

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