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