白盒測試的主要思想是什么？
A． 按照程序內部邏輯結構設計測試用例，檢測程序中的主要執(zhí)行通路是否都能按預定要求正確工作
B． 只檢查程序功能是否能按照SRS的要求正常使用，程序是否能適當?shù)亟邮蛰斎霐?shù)據(jù)并產生正確的輸出信息，程序運行過程中能否保持外部信息（例如，文件和數(shù)據(jù)庫等）的完整性等
C． 使用邏輯覆蓋技術，考查對程序邏輯的覆蓋程度
D．采用人工檢測和計算機輔助靜態(tài)分析的手段對程序進行檢測