利用基因表达式编程自动生成循环不变式

• 作者: 王灿明 马竹根
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 循环不变式 Hoare逻辑 符号回归 基因表达式编程
• 年，卷（期）: 2009,（7）
• 所属期刊栏目: 算法与分析
• 页码范围: 7-10
• 页数: 4页
• 分类号: TP301.6
• 字数: 4367字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2009.07.003

摘要

描述了利用基因表达式编程自动生成循环不变式的方法.该方法的基本思想是在每一次循环条件变化时记录下程序变量的值,产生相应的跟踪表,然后从跟踪表中获得程序变量之间的函数依赖关系,这种变量之间的依赖关系构成了循环不变式的主要部分.程序变量之间的函数依赖关系的获得是利用基因表达式编程对跟踪表中数据执行符号回归得到.利用VC++实现了基因表达式编程的函数挖掘,并通过一个实例说明了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马竹根	怀化学院计算机系	15	31	3.0	5.0
2	王灿明	怀化学院计算机系	4	7	1.0	2.0