净室软件工程( Cleanroom )是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(1)进行分析和建模,并且将(2)作为发现和排除错误的主要机制。使用(3)测试来获取认证软件可靠性所需要的信息。 (1)A、产生式归约 B、移进归约 C、盒结构归约 D、规范归约 (2)A、正确性验证 B、黑白盒测试 C、集成测试 D、基本路径测试 (3)A、边界值 B、统计 C、代数 D、精确