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

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

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

在数学中,为了说明一个命题为真命题,可以采用的证明方法有().A. 直接证明法B. 间接证明法C. 归谬法(反证法)D. 构造性证明法

贪心算法的正确性证明包括证明A. 可行性B. 贪心选择性质C. 最优子结构性质D. 存在最优解E. 可分为独立子问题

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

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

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

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

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

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