| 利用基因表达式编程自动生成循环不变式 |
| |
| 引用本文： | 马竹根,王灿明.利用基因表达式编程自动生成循环不变式[J].计算机与数字工程,2009,37(7):7-10. |
| |
| 作者姓名： | 马竹根 王灿明 |
| |
| 作者单位： | 怀化学院计算机系,怀化,418008 |
| |
| 基金项目： | 怀化学院资助科研项目 |
| |
| 摘 要： | 描述了利用基因表达式编程自动生成循环不变式的方法。该方法的基本思想是在每一次循环条件变化时记录下程序变量的值，产生相应的跟踪表，然后从跟踪表中获得程序变量之间的函数依赖关系，这种变量之间的依赖关系构成了循环不变式的主要部分。程序变量之间的函数依赖关系的获得是利用基因表达式编程对跟踪表中数据执行符号回归得到。利用VC＋＋实现了基因表达式编程的函数挖掘，并通过一个实例说明了该方法的有效性。
|
| 关 键 词： | 循环不变式 Hoare逻辑 符号回归 基因表达式编程 |
An Approach to Creating Loop Invariant Based on Gene Expression Programming |
| |
| Ma Zhugen,Wang Canming.An Approach to Creating Loop Invariant Based on Gene Expression Programming[J].Computer and Digital Engineering,2009,37(7):7-10. |
| |
| Authors: | Ma Zhugen Wang Canming |
| |
| Affiliation: | Department of Computer Science and Technology;Huaihua University;Huaihua 418008 |
| |
| Abstract: | This paper proposed an approach to automatically generate loop invariants.The approach is based on producing a trace table by recording the values of program variables each time the condition of a loop is evaluated.Functional dependencies between program variables,which are a vital part of loop invariant,can be extracted from the trace table.The extraction process is accomplished by using gene expression programming(GEP),which performs a symbolic regression on the data of the trace table.The approach has be... |
| |
| Keywords: | loop invariant Hoare logic symbolic regression gene expression programming |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
