基于GEP-RNC的指数对数型程序不变量发现方法

• 作者: 吴取劲 李玉燕 阳小华
• 来源期刊: 南华大学学报（自然科学版）
• 学科: 工学
• 关键词: 程序不变量 GEP-RNC 对数 指数
• 年，卷（期）: 2017,（1）
• 所属期刊栏目: 数理·计算机科学
• 页码范围: 72-76
• 页数: 5页
• 分类号: TP311.5
• 字数: 3919字
• 语种: 中文

摘要

程序不变量的发现是一种提高软件质量的有效方法.不变量发现工具Daikon可以发现程序中蕴含的简单不变量形式,但不包括复杂的函数型不变量.本文基于GEP-RNC算法对指数对数型不变量发现方法进行研究,通过实验证明GEP-RNC算法可以有效的发现指数对数形式的不变量,解决了基因表达式编程算法在复杂函数形式发现中稳定性不佳,精度不高的问题,扩展了Daikon不变量测试库中程序不变量的类型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	阳小华	南华大学计算机科学与技术学院	160	821	14.0	22.0
2	吴取劲	南华大学计算机科学与技术学院	19	86	5.0	8.0
3	李玉燕	南华大学计算机科学与技术学院	1	1	1.0	1.0