一种基于GEP的程序不变量动态发现方法

• 作者: 吴取劲 郭培甲
• 来源期刊: 南华大学学报（自然科学版）
• 学科: 工学
• 关键词: 程序不变量 GEP函数型程序不变量
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 数理?计算机科学
• 页码范围: 106-111
• 页数: 6页
• 分类号: TP311
• 字数: 5671字
• 语种: 中文

摘要

利用GEP (基因表达式编程)获取最优解的函数发现能力和数学理论的精确计算能力获得较客观的程序不变量的预置形式，能够进行目前技术没有处理的函数型程序不变量的发现生成工作。在函数型程序不变量范围内，有效地克服了目前程序不变量发现技术中存在的两个缺点，即计算盲目性与程序不变量形式预置的主观性。整个工作可以理解为是对目前程序不变量发现技术的一个扩展，它拓广了原有技术可发现的程序不变量种类，增大了从程序运行轨迹数据中发现更多不变量的可能性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴取劲	南华大学计算机科学与技术学院	19	86	5.0	8.0
2	郭培甲	南华大学计算机科学与技术学院	1	0	0.0	0.0