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