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

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

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

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

如果想要進行成功的測試，為其設(shè)計測試用例主要依賴于（）。

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

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

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

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

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