10.3969/j.issn.1672-9722.2009.07.003
利用基因表达式编程自动生成循环不变式
描述了利用基因表达式编程自动生成循环不变式的方法.该方法的基本思想是在每一次循环条件变化时记录下程序变量的值,产生相应的跟踪表,然后从跟踪表中获得程序变量之间的函数依赖关系,这种变量之间的依赖关系构成了循环不变式的主要部分.程序变量之间的函数依赖关系的获得是利用基因表达式编程对跟踪表中数据执行符号回归得到.利用VC++实现了基因表达式编程的函数挖掘,并通过一个实例说明了该方法的有效性.
循环不变式、Hoare逻辑、符号回归、基因表达式编程
37
TP301.6(计算技术、计算机技术)
怀化学院资助科研项目HHUY2008-18
2009-10-23(万方平台首次上网日期,不代表论文的发表时间)
共4页
7-10