從下列關(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ǔ)句反能使寫(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)。