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

由因果圖轉換出來的（）是確定測試用例的基礎。

建立窗口系統(tǒng)的對象模型，問題陳述如下：“窗口分為對話窗、圖形窗、滾動窗三種。對話窗中有若干對話項，由唯一的項名字來確定；對話項分為按鈕、選擇項和正文項三種，選擇項中有若干選擇項入口。圖形窗中有若干形狀元素，形狀元素分為一維形狀和二維形狀。一維形狀又分為直線、圓弧、折線；二維形狀分為圓、橢圓、矩形、多邊形，其中折線與多邊形由若干有序頂點組成。正文窗是滾動窗的一種，而圖形滾動窗既是圖形窗又是滾動窗。”

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

軟件測試階段的基本任務應當是根據(jù)軟件開發(fā)各階段的（）和程序的（），精心設計一批“高產(chǎn)”的測試用例，利用這些測試用例（），找出軟件中潛藏的各種錯誤和缺陷。

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

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

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

軟件的組裝測試最好是由（）承擔，以提高組裝測試的效果。

錯誤的群集現(xiàn)象是指模塊錯誤發(fā)現(xiàn)率與模塊的殘留錯誤數(shù)成（）關系。