单选题
净室软件工程是软件开发的一种 (24) 方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将 (25) 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。
单选题
A．形式化 B．迭代式 C．瀑布式 D．交互式
单选题
A．测试 B．仿真 C．实验 D．正确性验证
【正确答案】
D
【答案解析】[解析] 净室软件工程是软件开发的一种形式化方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将正确性验证作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。净室软件工程强调在规约和设计上的严格性，以及使用基于数学的正确性来证明对设计模型的每个元素进行形式化验证。