循环不变式开发技术研究

• 作者: 万松松 薛锦云 谢武平
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 循环不变式 PAR方法 高可靠性软件 谓词抽象
• 年，卷（期）: 2010,（9）
• 页码范围: 84-88,94
• 分类号: TP301.2
• 字数: 7951字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2010.09.023

摘要

高可靠性软件是当今软件开发的热点问题.确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键.循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一.本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛锦云	江西师范大学省高性能计算重点实验室	77	745	15.0	23.0
5	万松松	江西师范大学省高性能计算重点实验室	4	29	2.0	4.0
7	谢武平	江西师范大学省高性能计算重点实验室	4	23	2.0	4.0