niusouti.com

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

题目

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

(24)

A.形式化

B.迭代式

C.瀑布式

D.交互式

(25)

A.测试

B.仿真

C.实验

D.正确性验证


相似考题
更多“● 净室软件工程是软件开发的一种(24)方法,可以开发出具有较高质量的软件。它使用盒结构规约进行分 ”相关问题
  • 第1题:

    现代软件工程研究的内容不包括()。

    A、软件开发模型

    B、软件开发方法

    C、软件支持过程

    D、软件开发质量


    参考答案:D

  • 第2题:

    净室软件工程通过使用称为盒结构规约的方法来遵从操作分析原则,有3种盒类型,分别是(28)。

    A.黑盒、状态盒、清晰盒

    B.黑盒、白盒、灰盒

    C.白盒、清晰盒、黑盒

    D.灰盒、状态盒、黑盒


    正确答案:A
    解析:净室软件工程通过使用称为盒结构规约的方法来遵从操作分析原则。一个“盒”在某个细节层次封装系统(或系统的某些方面)。通过逐步求精的过程,盒被精化为层次,其中每个盒具有应用透明性。这使得分析员能够层次地划分一个系统,从在顶层的本质表示转移向在底层的实现特定的细节。有三种盒类型。(1)黑盒:这种盒刻划系统或系统的某部分的行为。通过运用由激发得到反应的一组变迁规则,系统(或系统的部分)对特定的激发(事件)做出反应。(2)状态盒:这种盒以类似于对象的方式封装状态数据和服务(操作)。在这个规约视图中,表示出状态盒的输入(激发)和输出(反应)。状态盒也表示黑盒“激活历史”,即封装在状态盒中,必须在蕴涵的变迁间保留的数据。(3)清晰盒:在清晰盒中定义状态盒所蕴涵的变迁功能,简单的说,清晰盒包含了对状态盒的过程设计。

  • 第3题:

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

    (24)

    A.形式化

    B.迭代式

    C.瀑布式

    D.交互式


    正确答案:A

  • 第4题:

    软件工程方法学的目的是:使软件生产规范化和工程化,而软件工程方法得以实施的主要保证是(49)。

    A.软件开发的硬件环境

    B.软件开发的工具

    C.软件开发工具和软件开发环境

    D.软件开发人员的素质


    正确答案:C
    解析:软件开发环境是指支持软件产品的软件系统,它由软件工具集和环境集成机制构成。其中,软件工具是用于辅助软件开发、运行、维护、管理、支持等过程的软件;环境集成机制为公举集成和软件开发、维护和管理提供统一的支持,通常包括数据集成、控制集成和界面集成。

  • 第5题:

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

    A.产生式归约

    B.移进归约

    C.盒结构归约

    D.规范归约


    正确答案:C