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