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

admin2011-01-03 66

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

选项 A、测试
B、仿真
C、实验
D、正确性验证

答案D

解析净室软件工程是软件开发的一种形式化方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将正确性验证作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。净室软件工程强调在规约和设计上的严格性，以及使用基于数学的正确性来证明对设计模型的每个元素进行形式化验证。

转载请注明原文地址:https://kaotiyun.com/show/9ULZ777K

本试题收录于：系统分析师上午综合知识考试题库软考高级分类

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

软考高级

相关试题推荐

随机试题

最新回复(0)

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

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

软考高级

关系型数据库只能描述()关系。A．网络型B．二维表格C．图D．层次型

在PPoint97中，可建立一个空演示文稿的操作方法是()。A．CTRL+SB．CTRL+NC．CTRL+OD．CTRL+Z

请利用“网络和Internet连接”建立一个使用拨号调制解调器上网，名称为“abc”的连接，用户名为“12345”，密码为“333。上网使用的电话号为“9876543”，创建完成的链接在桌面上显示快捷方式图标。

请为当前演示文稿选择切换效果为“盒状展开”。

请将默认图表改为学生成绩表，显示每个学生的高等数学、普通物理和英语成绩。

请统计津贴分配表中的津贴分配情况中每部门每种职称的津贴总数。

给选中的列添加底纹填充颜色为浅绿色(标准色第5个)，样式为浅色网格，颜色为浅蓝色(标准色第7个)。

公司实施一个纵深防御政策，问由保护逐级增加的层次设计？

A、散寒止带B、开郁顺气C、理气健脾D、补气益血E、温阳散寒乌鸡白凤丸既能调经止带，又能()。

在行政诉讼中，对被诉的行政行为负举证责任的是()。

2011年全国共举办展览6830场，比2010年增加9．2％；展出面积为8120万平方米，比2010年增长8．5％；50人以上专业会议64．2万场，比2010年增加17．4％；万人以上节庆活动6．5万场，比2010年增长3％；出国境展览面积60万平方米，比

社会主义初级阶段基本经济制度，既包括作为社会主义经济基础的公有制经济，也包括不是社会主义经济基础的非公有制经济。把非公有制经济纳入到基本经济制度之中，是因为()

多数情况下，结构化开发方法是信息系统工程和()开发的有效方法。

关于ARM嵌入式处理器的工作状态，以下说法正确的是()。

NeitherhenorI______interestedinrockmusic.

Gotapenhandy?Tobestestimateyourstart-upcosts,you’llneedtomakealistandthemoredetailedthebetter.Asmartway

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

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

软考高级

关系型数据库只能描述()关系。A．网络型B．二维表格C．图D．层次型

在PPoint97中，可建立一个空演示文稿的操作方法是()。A．CTRL+SB．CTRL+NC．CTRL+OD．CTRL+Z

请利用“网络和Internet连接”建立一个使用拨号调制解调器上网，名称为“abc”的连接，用户名为“12345”，密码为“333。上网使用的电话号为“9876543”，创建完成的链接在桌面上显示快捷方式图标。

请为当前演示文稿选择切换效果为“盒状展开”。

请将默认图表改为学生成绩表，显示每个学生的高等数学、普通物理和英语成绩。

请统计津贴分配表中的津贴分配情况中每部门每种职称的津贴总数。

给选中的列添加底纹填充颜色为浅绿色(标准色第5个)，样式为浅色网格，颜色为浅蓝色(标准色第7个)。

公司实施一个纵深防御政策，问由保护逐级增加的层次设计？

A、散寒止带B、开郁顺气C、理气健脾D、补气益血E、温阳散寒乌鸡白凤丸既能调经止带，又能()。

在行政诉讼中，对被诉的行政行为负举证责任的是()。

2011年全国共举办展览6830场，比2010年增加9．2％；展出面积为8120万平方米，比2010年增长8．5％；50人以上专业会议64．2万场，比2010年增加17．4％；万人以上节庆活动6．5万场，比2010年增长3％；出国境展览面积60万平方米，比

社会主义初级阶段基本经济制度，既包括作为社会主义经济基础的公有制经济，也包括不是社会主义经济基础的非公有制经济。把非公有制经济纳入到基本经济制度之中，是因为()

多数情况下，结构化开发方法是信息系统工程和()开发的有效方法。

关于ARM嵌入式处理器的工作状态，以下说法正确的是()。

NeitherhenorI______interestedinrockmusic.

Gotapenhandy?Tobestestimateyourstart-upcosts,you’llneedtomakealistandthemoredetailedthebetter.Asmartway

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