2. 计算机
  3. 净室软件工程是软件开发的一种 (24) 方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将 (25) 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。 （25）

净室软件工程是软件开发的一种 (24) 方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将 (25) 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。 （25）

admin2011-01-03  83
问题 净室软件工程是软件开发的一种  (24)  方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将  (25)  作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。
（25）
选项 A、测试
B、仿真
C、实验
D、正确性验证
答案D
解析 净室软件工程是软件开发的一种形式化方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将正确性验证作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。净室软件工程强调在规约和设计上的严格性，以及使用基于数学的正确性来证明对设计模型的每个元素进行形式化验证。
转载请注明原文地址:https://kaotiyun.com/show/9ULZ777K
本试题收录于： 系统分析师上午综合知识考试题库软考高级分类
0

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

软考高级

相关试题推荐
随机试题
最新回复(0)