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

軟件測試計劃是一些文檔，它們描述了（）。

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

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

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

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

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

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

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

面向?qū)ο箝_發(fā)方法與面向數(shù)據(jù)流的結(jié)構(gòu)化開發(fā)方法有什么不同？使用面向?qū)ο箝_發(fā)方法的優(yōu)點在什么地方？