当前位置:首页 > 问题分类 > 计算机类考试 > 软考高级 > 问题详情

问题:

● 净室软件工程是软件开发的一种(24)方法,可以开发出具有较高质量的软件。它使用盒结构规约进行分

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

(24)

A.形式化

B.迭代式

C.瀑布式

D.交互式

(25)

A.测试

B.仿真

C.实验

D.正确性验证


  参考答案

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

相关题目:

项目范围说明书、工作分解结构、项目范围管理计划和可交付物都是范围确认的______。
A.工具
B.技术
C.成果
D.输入
A.
B.
C.
D.

在创建工作分解结构的过程中,项目相关人员要______。
A.进行时问估算和成本估算
B.执行WBS
C.对WBS给予确认并对此达成共识
D.编制绩效报告
A.
B.
C.
D.

项目范围说明书(初步)列出了项目及其相关产品、服务的特性和______及范围控制和接受的方法。
A.章程
B.高层范围控制过程
C.质量控制方法
D.项目边界
A.
B.
C.
D.