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