程序正确性证明最常用的方法是【 】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。
证明程序正确最常用的方法是______，它对程序提出一组命题，如在数学上证明这些命题不成立，就能保证程序不发生错误。
点击查看答案
程序正确性证明是用______来证明程序正确性的方法。
软件测试方法可分为3类，它们是动态测试、静态测试和程序正确性证明，真正实施的方法则是( )。A．动态测试和静态测试B．静态测试和程序正确性证明C．动态测试和程序正确性证明D．都不是
下列各命题都成立，写出它们的逆命题。这些逆命题成立吗？(1)同旁内角互补，两直线平行；(2)如果两个角是直角，那么它们相等；(3)全等三角形的对应边相等；(4)如果两个实数相等，那么它们的平方相等。
如右图，在梯形ABCD中，点E、F分别是腰AB、CD上的点． (1)证明：如果E、F为中点时，有 EF=1/2(AD+BC)； (2)请写出(1)中命题的逆命题，并判断该逆命题是否成立，若成立，请给予证明；若不成立，请说明理由．
2、在算法设计与分析过程中，有算法设计，算法的正确性证明，算法的复杂性分析,程序设计等几个重要步骤，下面哪种顺序是正确的？A．算法的正确性证明-＞算法设计-＞算法的复杂性分析-＞程序设计B．算法的正确性证明-＞算法的复杂性分析-＞算法设计-＞程序设计C．算法设计-＞算法的正确性证明-＞算法的复杂性分析-＞程序设计D．算法设计-＞算法的复杂性分析-＞算法的正确性证明-＞程序设计
某问题属于“一票否定”类型的问题，以下程序设计框架，可以正确判别该问题的是：A．假设命题成立，即设定状态变量 OK = true 循环检测每一种可能性 发现某一次检测成功，那么 OK = false 如果 OK = true 那么命题成立 否则 该命题不成立B．假设命题不成立，即设定状态变量 OK = false 循环检测每一种可能性 发现某一次检测成功，那么 OK = true 如果 OK = true 那么命题成立 否则 该命题不成立C．假设命题不成立，即设定状态变量 OK = false 循环检测每一种可能性 发现某一次检测成功 OK = true 否则 OK = false 如果 OK = true 那么命题成立 否则 该命题不成立D．假设命题成立，即设定状态变量 OK = true 循环检测每一种可能性 发现某一次检测成功 OK = true 否则 OK = false 如果 OK = true 那么命题成立 否则 该命题不成立
