● 净室软件工程是软件开发的一种(24)方法,可以开发出具有较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。(24)A.形式化B.迭代式C.瀑布式D.交互式(25)A.测试B.仿真C.实验D.正确性验证

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

(24)

A.形式化

B.迭代式

C.瀑布式

D.交互式

(25)

A.测试

B.仿真

C.实验

D.正确性验证


相关考题:

软件开发技术不包含()。 A、软件开发方法学B、软件工程环境C、软件工具D、软件质量度度量

以下关于软件开发方法的叙述,错误的是( )。A.对于较为复杂的应用问题,适合采用形式化方法进行需求分析 B.形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现 C.净室软件工程将正确性验证作为发现和排除错误的主要机制 D.净室软件工程强调统计质量控制技术,包括对客户软件使用预期的测试

净室软件工程通过使用称为盒结构规约的方法来遵从操作分析原则,有三种盒类型,分别是(28)。A.黑盒、状态盒、清晰盒B.黑盒、白盒、灰盒C.白盒、清晰盒、黑盒D.灰盒、状态盒、黑盒

软件工程学一般包括软件开发技术和软件工程管理两方面的内容,软件工程经济学是软件工程管理的技术内容之一,它专门研究A.软件开发的方法学B.软件开发技术和工具C.软件成本效益分析D.计划、进度和预算

现代软件工程研究的内容不包括()。 A、软件开发模型B、软件开发方法C、软件支持过程D、软件开发质量

软件工程方法学的目的是:使软件生产规范化和工程化,而软件工程方法得以实施的主要保证是(49)。A.软件开发的硬件环境B.软件开发的工具C.软件开发工具和软件开发环境D.软件开发人员的素质

净室软件工程通过使用称为盒结构规约的方法来遵从操作分析原则,有3种盒类型,分别是(28)。A.黑盒、状态盒、清晰盒B.黑盒、白盒、灰盒C.白盒、清晰盒、黑盒D.灰盒、状态盒、黑盒

净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。A.产生式归约B.移进归约C.盒结构归约D.规范归约

净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。(24)A.形式化B.迭代式C.瀑布式D.交互式