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

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

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

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

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

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

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

[试题]（2）证明你写出的等式的正确性．

[单选题]测试的目的是（），而不是对正确性进行形式化证明。A .要暴露程序中的bugB .要纠正程序中的错误C .要暴露程序中的错误D .要纠正程序中的bug

[单选题]在系统审计方法中，(15)将正式用的程序和审计用的程序进行比较，以检查它的正确性。A．审计程序法B．ITF法C．并行模拟法D．代码比较法

[单选题]下列审计方法中，(27)能验证程序逻辑上的正确性。A．并行模拟法B．代码比较法C．跟踪法D．测试数据法