基于gep的线性指数函数型程序不变量动态发现方法-南华大学学报.pdfVIP

第26卷第1期 南华大学学报(自然科学版) Vol郾26 No郾1 2012年3月 Journal of University of South China(Science and Technology) Mar郾2012 文章编号:1673-0062(2012)01-0063-05 基于 GEP的线性指数函数型程序不变量动态发现方法 阳小华,黄彩霞 (南华大学 计算机科学与技术学院,湖南 衡阳421001) 摘摇 要:不变量是用来描述程序运行时保持不变性质的逻辑断言.根据关系数据理 论,程序不变量可分函数依赖型和非函数依赖型程序不变量.着眼于函数依赖型程序 不变量,借助GEP 的函数发现特点和Daikon 对线性程序不变量的发现能力,重点对 线性指数函数型程序不变量动态发现方法进行研究,通过实验证明了GEP 对线性指 数形式的函数有较高的发现效率,可以扩展 Daikon在线性指数函数型程序不变量方 面的预置形式以达到从程序轨迹数据中发现该类程序不变量的目的. 关键词:GEP;程序运行轨迹数据;启发性信息;线性指数函数形式;程序不变量;不变 量动态发现 中图分类号:TP311摇 摇 摇 文献标识码:A Methods on Lineal and Exponential Function Program Invariants Dynamically Mining Based on GEP YANG Xiao鄄hua,HUANG Cai鄄xia (School of Computer Science and Technology,University of South China,Hengyang,Hunan421001,China) Abstract:Invariants is used to describe logical assertions of which running programs keep unchanged.According to the relational data theory,program invariants can be divided into Function Program Invariants and Non鄄Function Program Invariants.The thesis beginning fromfunction program invariantsfocuses on the research on Lineal and Exponential Func鄄 tion Invariants Dynamically Mining with the help of GEP feature of Function Mining and Daikon ability to find out the Lineal and Exponential Function Program Invariants.The ex鄄 periment proves the high efficiency of GEP discovering Lineal and Exponential function type,which expand the type Daikonpresetfor Function Program Invariantsin order tofind more invariants of this type from Program鄄Running track data. key words:GEP;program鄄running track data;heuristic information;lineal and exponential 收稿日期:2012-02-09 基金项目:湖南省自然科学基金资助项目(10