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

A:理论法 B:实验法 C:试验法 D:模拟法

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

A:空运行 B:图形动态模拟 C:自动校正 D:试切削

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

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

A:动态测试和静态测试 B:静态测试和程序正确性证明 C:动态测试和程序正确性证明 D:都不是

软件测试的方法可归纳成三种，它们是
Ⅰ．动态测试
Ⅱ．静态测试
Ⅲ．程序正确性证明
而真正实施的方法则是( )。

A:Ⅰ B:Ⅰ和Ⅱ C:Ⅱ D:Ⅰ、Ⅱ和Ⅲ

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

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

A:动态测试和静态测试 B:静态测试和程序正确性证明 C:动态测试和程序正确性证明 D:都不是