● 净室软件工程是软件开发的一种（24）方法，可以开发出具有较高质量的软件。它使用盒结构规约进行分

● 净室软件工程是软件开发的一种（24）方法，可以开发出具有较高质量的软件。它使用盒结构规约进行分析和建模，并将 （25） 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。

（24）

A.形式化

B.迭代式

C.瀑布式

D.交互式

（25）

A.测试

B.仿真

C.实验

D.正确性验证