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