凈室軟件工程是軟件開發(fā)的一種 （1） 方法，可以開發(fā)出具有較高質(zhì)量的軟件。它使用盒結(jié)構(gòu)規(guī)約進(jìn)行分析和建模，并將 （2） 作為發(fā)現(xiàn)和排除錯(cuò)誤的主要機(jī)制，采用統(tǒng)計(jì)測試來獲取驗(yàn)證軟件可靠性所需要的信息。
（1）A、形式化
B、迭代式
C、瀑布式
D、交互式
（2）A、測試
B、仿真
C、實(shí)驗(yàn)
D、正確性驗(yàn)證