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

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

下面是選擇排序的程序，其中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ì)測試用例。

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

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

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

在基本路徑測試中，獨(dú)立路徑是指包括一組以前沒有處理過的（）的一條路徑。從程序圖來看，一條獨(dú)立路徑是至少包含有一條（）的邊的路徑。

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

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

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