程序正确性证明概述(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界函数法－－计数器法
另一种计数器方法证明程序终止性
另一种计数器方法证明程序终止性实例
采用计数器方法证明程序终止性难点
正整数的一个性质
..............................

上一篇：工程建设承发包与施工许可证管理法律制度

下一篇：MCS-51单片机汇编语言程序设计教材(PPT 4

某公司安全生产管理制度汇编(DOCX 54页)

绩效考核管理办法(DOC 22页)

法规政策解读与交流(ppt 178页)

规章制度政策法规和务实管理教材(PPT 56页)

师德师风各项制度汇编(DOC 35页)

物资管理制度汇编(DOC 62页)