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

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

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

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

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

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

在黑盒測(cè)試中，著重檢查輸入條件的組合的測(cè)試用例設(shè)計(jì)方法是（）。

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

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

什么是“對(duì)象”？識(shí)別對(duì)象時(shí)將潛在對(duì)象分成7類(lèi)，試給出這7類(lèi)對(duì)象的名稱(chēng)，并舉例說(shuō)明。