niusouti.com

软件测试的方法有三种。以下哪项(些)属于这些方法?Ⅰ．动态测试Ⅱ．静态测试Ⅲ．正确性证明A．仅ⅠB．仅Ⅰ和ⅡC．仅Ⅱ和ⅢD．Ⅰ、Ⅱ和Ⅲ

题目

软件测试的方法有三种。以下哪项(些)属于这些方法?

Ⅰ．动态测试

Ⅱ．静态测试

Ⅲ．正确性证明

A．仅Ⅰ

B．仅Ⅰ和Ⅱ

C．仅Ⅱ和Ⅲ

D．Ⅰ、Ⅱ和Ⅲ

相似考题

1.软件测试的方法有三种：静态测试，动态测试和（ ）。A．程序正确性证明B．调式C．验收测试D．集成测试

2.软件测试的方法有三种：静态测试、动态测试和A．程序正确性证明B．调试C．验收测试D．集成测试

3.软件测试方法可分为3类，它们是动态测试、静态测试和程序正确性证明，真正实施的方法则是( )。A．动态测试和静态测试B．静态测试和程序正确性证明C．动态测试和程序正确性证明D．都不是

4.● 软件测试方法可分为静态测试和动态测试两大类，人工检测 （53） 。（53）A. 属于静态测试和动态测试B. 属于静态测试C. 属于动态测试D. 既不属于静态测试也不属于动态测试

参考答案和解析
正确答案：D
解析：本题考查软件测试方法的概念。目前，软件测试的方法有三种：动态测试、静态测试和正确性证明。动态测试是指通常的上机测试，这种方法是使程序有控制地运行，并从多种角度观察程序运行时的行为，以发现其中的错误。静态测试一般是指人工评审软件文档或程序，借以发现其中的错误，由于被评审的文档或程序不必运行，所以称为静态的。动态测试和静态测试只能发现错误而不能证明程序中不存在错误，从理论上讲，只有借助于程序正确性证明才有可能证明程序的正确性。程序证明最常用的方法是归纳断言法，它对程序提出一组命题，如能永数学方法证明这些命题成立，就可保证程序中不存在错误，即它对所有的输入都会产生预测的正确输出。但目前正确性证明尚处于理论研究阶段，其技术尚不成熟，并未达到实用化阶段。正确答案为选项D。
更多“软件测试的方法有三种。以下哪项(些)属于这些方法?Ⅰ.动态测试Ⅱ.静态测试Ⅲ.正确性证明A.仅ⅠB.仅Ⅰ和 ”相关问题

  • 第1题：

    软件测试方法可分为静态测试和动态测试两大类，人工检测 （53） 。

    A.属于静态测试和动态测试

    B.属于静态测试

    C.属于动态测试

    D.既不属于静态测试也不属于动态测试


    正确答案：B
    软件测试分为静态测试和动态测试两大类。静态测试包括人工检测和计算机辅助静态分析。动态测试是通过运行程序发现错误，对软件产品进行黑盒和白盒测试。

  • 第2题：

    软件测试方法可分为静态测试和动态测试两大类，人工检测______。

    A．属于静态测试和动态测试

    B．属于静态测试

    C．属于动态测试

    D．既不属于静态测试也不属于动态测试

    A．

    B．

    C．

    D．


    正确答案：B
    解析：本题考查软件测试方法的基本知识。
      软件测试分为静态测试和动态测试两大类。静态测试包括人工检测和计算机辅助静态分析。动态测试是通过运行程序发现错误，对软件产品进行黑盒和白盒测试。

  • 第3题：

    软件测试的方法可归纳成三种，它们是：I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是（ ）。

    A.I
    B.I和Ⅱ
    C.II
    D.I、Ⅱ和III

    答案：B
    解析：
    软件测试真正实施的方法是动态测试和静态测试。

  • 第4题：

    软件测试的方法有三种：静态测试、动态测试和( )。

    A．程序正确性证明

    B．调试

    C．验收测试

    D．集成测试


    正确答案：A
    解析：本题考查对软件测试方法的了解。软件测试用于预防软件发生错误、发现并改正程序错误、提供错误诊断信息。软件测试的方法主要有动态测试、静态测试和正确性证明。故本题选择A。

  • 第5题：

    软件测试的方法有动态测试、静态测试和【 】3种。


    正确答案：正确性证明
    正确性证明 解析：软件测试的方法有3种；动态测试、静态测试和正确性证明。动态测试指通常的上机测试，这种方法是使程序有控制地运行，并从多种角度观察程序运行时的行为，以发现其中的错误，而测试是否能发现错误取决于测试实例的设计。静态测试一般指人工评审软件文档或程序，借以发现其中的错误，由于被评审的文档或程序不必运行，所以称为是静态的。

相关内容