凈室軟件工程( Cleanroom )是軟件開發(fā)的一種形式化方法，可以開發(fā)較高質量的軟件。它使用（1）進行分析和建模，并且將（2）作為發(fā)現和排除錯誤的主要機制。使用（3）測試來獲取認證軟件可靠性所需要的信息。
（1）A、產生式歸約 
B、移進歸約 
C、盒結構歸約 
D、規(guī)范歸約
（2）A、正確性驗證 
B、黑白盒測試 
C、集成測試 
D、基本路徑測試
（3）A、邊界值 
B、統(tǒng)計 
C、代數 
D、精確