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

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

下面是選擇排序的程序，其中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）用基本路徑覆蓋法給出測(cè)試路徑；（3）為各測(cè)試路徑設(shè)計(jì)測(cè)試用例。

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

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

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

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

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

在類的設(shè)計(jì)中需要遵循的方針是什么？三個(gè)主要的設(shè)計(jì)準(zhǔn)則：抽象、信息隱蔽和模塊化如何才能做到？

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