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

问题:

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

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

(24)

A.形式化

B.迭代式

C.瀑布式

D.交互式

(25)

A.测试

B.仿真

C.实验

D.正确性验证


  参考答案

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

相关题目:

下列哪一个一定正确?
A.L被安排在会期2。
B.N被安排在会期3。
C.O被安排在会期1。
D.P被安排在会期2。
下列哪一个是完全而准确地可以与R安排入会期3的论文的序列?
A.N、S
B.M、N、P
C.M、N、S
D.M、N、P、S
在一个会议中有由1至3的3个会期,有8篇论文K、L、M、N、O、P、R和S将被讨论。每篇论文将被安排入1个会期,会期1和会期2每个将安排3篇论文,会期3安排 2篇论文,论文安排入每个会期将遵从下列的条件。
(1) K将被安排入比L早的会期。
(2) O将被安排入比P早的会期。
(3) O或者P一定与L安排入同一会期。
(4) R一定被安排到第3个会期。
下列哪一个是论文安排的可接受的顺序? 星期一 星期二 星期三
A.K、L、O M、N、P R、S
B.K、M、N L、O、R P、S
C.K、M、N L、O、S P、R
D.K、N、O L、M、S P、R