(25)

（25）

A．测试

B．仿真

C．实验

D．正确性验证

D解析：净室软件工程是软件开发的一种形式化方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将正确性验证作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。净室软件工程强调在规约和设计上的严格性，以及使用基于数学的正确性来证明对设计模型的每个元素进行形式化验证。