基于GEP的线性指数函数型程序不变量动态发现方法

• 作者: 阳小华 黄彩霞
• 来源期刊: 南华大学学报：自然科学版
• 学科: 工学
• 关键词: GEP 程序运行轨迹数据 启发性信息 线性指数函数形式 程序不变量 不变量动态发现
• 年，卷（期）: 2012,（1）
• 所属期刊栏目: 数理·计算机科学
• 页码范围: 63-67
• 页数: 5页
• 分类号: TP311
• 字数: 3589字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-0062.2012.01.016

摘要

不变量是用来描述程序运行时保持不变性质的逻辑断言．根据关系数据理论，程序不变量可分函数依赖型和非函数依赖型程序不变量．着眼于函数依赖型程序不变量，借助GEP的函数发现特点和Daikon对线性程序不变量的发现能力，重点对线性指数函数型程序不变量动态发现方法进行研究，通过实验证明了GEP对线性指数形式的函数有较高的发现效率，可以扩展Daikon在线性指数函数型程序不变量方面的预置形式以达到从程序轨迹数据中发现该类程序不变量的目的．

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	阳小华	南华大学计算机科学与技术学院	160	821	14.0	22.0
2	黄彩霞	南华大学计算机科学与技术学院	1	3	1.0	1.0