程序正确性证明概述(PPT 54页)

5.1程序正确性验证概述
5.2不变式断言法
5.3子目标断言法
5.4界函数法－－计数器法
 5.1 程序正确性概述
结构化程序的正确性验证
测试的原则
关于程序正确性的认识
程序正确性证明发展历程
程序正确性理论
程序规约的基本分类
程序规约的实例
程序正确性定义
程序正确性的证明方法分类
循环不变式断言
5.2 不变式断言法
不变式断言法实例1
不变式断言法实例1(建立断言)
不变式断言法实例1(建立检验条件)
不变式断言法实例1(证明检验条件)
不变式断言法实例2
作业
不变式断言法
子目标断言法(建立断言)
子目标断言法(建立检验条件)
子目标断言法(证明检验条件)
程序部分正确但不终止实例
5.4计数器方法证明程序终止性
计数器方法证明程序终止性实例
5.4 界函数法－－计数器方法的变形
3.4界函数法－－计数器法
另一种计数器方法证明程序终止性
另一种计数器方法证明程序终止性实例
采用计数器方法证明程序终止性难点
正整数的一个性质
..............................