● 净室软件工程是软件开发的一种(24)方法,可以开发出具有较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。
(24)
A.形式化
B.迭代式
C.瀑布式
D.交互式
(25)
A.测试
B.仿真
C.实验
D.正确性验证
第1题:
A、软件开发模型
B、软件开发方法
C、软件支持过程
D、软件开发质量
第2题:
净室软件工程通过使用称为盒结构规约的方法来遵从操作分析原则,有3种盒类型,分别是(28)。
A.黑盒、状态盒、清晰盒
B.黑盒、白盒、灰盒
C.白盒、清晰盒、黑盒
D.灰盒、状态盒、黑盒
第3题:
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。
(24)
A.形式化
B.迭代式
C.瀑布式
D.交互式
第4题:
软件工程方法学的目的是:使软件生产规范化和工程化,而软件工程方法得以实施的主要保证是(49)。
A.软件开发的硬件环境
B.软件开发的工具
C.软件开发工具和软件开发环境
D.软件开发人员的素质
第5题:
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
A.产生式归约
B.移进归约
C.盒结构归约
D.规范归约