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

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

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

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

在黑盒測試中，著重檢查輸入條件的組合的測試用例設(shè)計方法是（）。

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

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

面向?qū)ο蟮奶卣魇牵ǎ?、（）和（）、（）?/p>

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

基于復(fù)用的面向?qū)ο箝_發(fā)過程分為哪幾個階段？每一個階段需要做哪些事情？