在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有：【 】才可能证明程序的正确性。

题目

在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有：【 】才可能证明程序的正确性。

相似考题

1.______能发现程序中的错误并能证明程序中不存在错误。Ⅰ．静态测试Ⅱ．动态测试Ⅲ．正确性证明A．Ⅰ和ⅡB．Ⅰ和ⅢC．Ⅱ和ⅢD．都是

2.程序测试分为静态测试和动态测试。其中_____是指不执行程序，而只是对程序文本进行检查，通过阅读和讨论，分析和发现程序中的错误。

3.测试是为了发现程序中的错误而执行程序的过程，下述有关测试的论述中错误的是 ( )。A．证明错误存在B．证明错误不存在C．发现程序的错误D．提供诊断信息

4.程序测试分为静态测试和动态测试。其中__________是指不执行程序，而只是对程序文本进行检查，通过阅读和讨论，分析和发现程序中的错误。

参考答案和解析
正确答案：程序正确性证明
程序正确性证明 解析：在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。
更多“在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有:【】才 ”相关问题

  • 第1题：

    14、以下说法错误的是（）。

    A．成功的测试是指发现程序的所有错误

    B．测试不能证明程序是正确的

    C．测试不能证明程序中没有错误

    D．测试是为了发现程序中的错误


    C

  • 第2题：

    软件测试技术可以分为静态测试和动态测试，下列说法中错误的是

    A．静态测试是指不运行实际程序，通过检查和阅读等手段来发现程序中的错误。

    B．动态测试是指实际运行程序，通过运行的结果来发现程序中的错误。

    C．动态测试包括黑盒测试和白盒测试。

    D．白盒测试是静态测试，黑盒测试是动态测试。


    白盒测试是静态测试，黑盒测试是动态测试。

  • 第3题：

    软件测试技术可以分为静态测试和动态测试，下列说法中错误的是（）。

    A．静态测试是指不运行程序，通过检查和阅读等手段来发现程序中的错误。

    B．动态测试是指实际运行程序，通过运行的结果来发现程序中的错误。

    C．动态测试包括黑盒测试和白盒测试。

    D．白盒测试是静态测试，黑盒测试是动态测试。


    D

  • 第4题：

    1、软件测试技术可以分为静态测试和动态测试，下列说法中错误的是（）。 A、静态测试是指不运行程序，通过检查和阅读等手段来发现程序中的错误。 B、动态测试是指实际运行程序，通过运行的结果来发现程序中的错误。 C、动态测试包括黑盒测试和白盒测试。 D、白盒测试是静态测试，黑盒测试是动态测试。


    白盒测试是静态测试，黑盒测试是动态测试。

  • 第5题：

    软件测试技术可以分为静态测试和动态测试，下列说法中错误的是（）。

    A．动态测试包含黑盒测试和白盒测试

    B．动态测试是指实际运行程序，通过运行的结果来发现程序中的错误

    C．静态测试是指不运行实际程序，通过检查和阅读等手段来发现程序中的错误

    D．白盒测试是静态测试，黑盒测试是动态测试


    白盒测试是静态测试，黑盒测试是动态测试。

相关内容