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