程序正确性证明是用______来证明程序正确性的方法。

题目

程序正确性证明是用______来证明程序正确性的方法。

相似考题

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

2.程序正确性证明最常用的方法是【 】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。

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

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

更多“程序正确性证明是用______来证明程序正确性的方法。 ”相关问题

  • 第1题：

    软件测试是保证软件质量的重要手段，首要任务是______。

    A．保证软件的正确性

    B．改正软件存在的错误

    C．发现软件的潜在错误

    D．实现程序正确性证明


    正确答案：C
    解析：本题考查点是软件测试的任务。测试是为发现程序中的错误而执行的程序过程，好的测试方案是尽可能地发现至今尚未发现的错误测试方案，成功的测试是发现至今尚未发现的错误测试。

  • 第2题：

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

    A．程序正确性证明

    B．调试

    C．验收测试

    D．集成测试


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

  • 第3题：

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

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

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

  • 第4题：

    软件测试是保证软件质量的重要手段，其首要任务是( )。

    A．保证软件的正确性

    B．改正软件存在的错误

    C．发现软件的潜在错误

    D．实现程序正确性证明


    正确答案：C
    解析：测试阶段的基本任务是根据软件开发各阶段的文档资料和程序的内部结构精心设计一套测试方案，找出程序中潜在的各种错误和缺陷。测试并不能保证程序是完全正确的。只有选项C符合题意。

  • 第5题：

    程序正确性证明能证明程序的功能和动态特性符合设计要求.

    A．错误

    B．正确


    参考答案：A

相关内容