[单选题]

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

A .空运行

B .图形动态模拟

C .自动校正

D .试切削

参考答案与解析：

相关试题

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

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

  • 查看答案

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

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

  • 查看答案

    • 软件出错有几种类型?验证其程序正确性有几种方法?

    https://wenku.baidu.com/view/7969aa03de80d4d8d15a4f3f.html你要的在这里软件出错有几种类型?验证其程序正确性有几种方法?

  • 查看答案

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

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

  • 查看答案

    • 软件测试的方法可归纳成三种，它们是：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

  • 查看答案