净室软件工程是软件开发的一种 (60) 方法，可以开发较高质量的软件。它使用盒结构规
题型：单项选择题
问题：
净室软件工程是软件开发的一种 (60) 方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将 (61) 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。
61（）
A．测试
B．仿真
C．实验
D．正确性验证
净室软件工程是软件开发的一种 (60) 方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将 (61) 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。
61（）
A．测试
B．仿真
C．实验
D．正确性验证