净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用(91)进行分析和建模，并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。

admin2009-05-15 34

问题净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用(91)进行分析和建模，并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。

选项 A、产生式归约
B、移进归约
C、盒结构归约
D、规范归约

答案C

解析

转载请注明原文地址:https://jikaoti.com/ti/hJJ7FFFM

系统分析师上午综合知识考试

相关试题推荐

随机试题

最新回复(0)