基于遗传规划寻找循环不变式的方法 |
| |
引用本文: | 马竹根,刘槐德.基于遗传规划寻找循环不变式的方法[J].计算机时代,2009(2). |
| |
作者姓名: | 马竹根 刘槐德 |
| |
作者单位: | 怀化学院计算机系,湖南,怀化,418008 |
| |
摘 要: | 描述了一种产生循环不变式主要部分的方法。该方法的基本思想是在每一次循环条件变化时记录下程序变量的值,生成相应的跟踪表,从跟踪表中获得程序变量之间的函数关系构成循环不变式的主要部分。程序变量之间的函数关系则利用遗传规划对跟踪表中数据执行符号回归得到。
|
关 键 词: | 循环不变式 Hoare逻辑 符号回归 遗传规划 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|