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

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

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

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

軟件測(cè)試計(jì)劃是一些文檔，它們描述了（）。

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

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

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

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

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