参考答案和解析
正确答案:程序正确性证明
程序正确性证明 解析:在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。
更多“在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有:【】才 ”相关问题
  • 第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.白盒测试是静态测试,黑盒测试是动态测试


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