[主观题]

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

参考答案与解析：

相关试题

证明程序正确最常用的方法是______,它对程序提出一组命题,如在数学上证明这些

[主观题]证明程序正确最常用的方法是______，它对程序提出一组命题，如在数学上证明这些命题不成立，就能保证程序不发生错误。

  • 查看答案

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

    [主观题]程序正确性证明是用______来证明程序正确性的方法。

  • 查看答案

    • 检验程序正确性的方法不包括（）方法。

    [单选题]检验程序正确性的方法不包括（）方法。A .空运行B .图形动态模拟C .自动校正D .试切削

  • 查看答案

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

    [单选题]软件测试的方法可归纳成三种，它们是：I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是（）。A.IB.I和ⅡC.IID.I、Ⅱ和II

  • 查看答案

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

    [单选题]软件测试的方法可归纳成三种，它们是：I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是( )。A.IB.I和ⅡC.IID.I、Ⅱ和I

  • 查看答案

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

    [单选题]软件测试的方法可归纳成三种，它们是：I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是（）。A.IB.I和ⅡC.IID.I、Ⅱ和II

  • 查看答案

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

    [单选题]软件测试的方法可归纳成三种，它们是：I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是( )。A.IB.I和ⅡC.IID.I、Ⅱ和I

  • 查看答案

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

    [单选题]软件测试的方法可归纳成三种，它们是：I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是( )。A.IB.I和ⅡC.IID.I、Ⅱ和I

  • 查看答案

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

    [单选题]软件测试的方法可归纳成三种，它们是：I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是（）。A.IB.I和ⅡC.IID.I、Ⅱ和II

  • 查看答案

    • 目前被普遍采用的程序正确性验证方法是（）

    [单选题]目前被普遍采用的程序正确性验证方法是（）A . 理论法B . 实验法C . 试验法D . 模拟法

  • 查看答案