一种基于gep的程序不变量动态发现方法-南华大学学报.pdfVIP

第３０卷第４期 南华大学学报(自然科学版) Ｖｏｌ３０ Ｎｏ４ ２０１６年１２月 Ｊｏｕｒｎａｌ ｏｆ Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｓｏｕｔｈ Ｃｈｉｎａ(Ｓｃｉｅｎｃｅ ａｎｄ Ｔｅｃｈｎｏｌｏｇｙ) Ｄｅｃ２０１６ － － － 文章编号:１６７３ ００６２(２０１６)０４ ０１０６ ０６ 一种基于 ＧＥＰ的程序不变量动态发现方法 郭培甲ꎬ吴取劲∗ (南华大学 计算机科学与技术学院ꎬ湖南 衡阳４２１００１) 摘　 要:利用ＧＥＰ(基因表达式编程)获取最优解的函数发现能力和数学理论的精确 计算能力获得较客观的程序不变量的预置形式ꎬ能够进行目前技术没有处理的函数 型程序不变量的发现生成工作.在函数型程序不变量范围内ꎬ有效地克服了目前程序 不变量发现技术中存在的两个缺点ꎬ即计算盲目性与程序不变量形式预置的主观性. 整个工作可以理解为是对目前程序不变量发现技术的一个扩展ꎬ它拓广了原有技术 可发现的程序不变量种类ꎬ增大了从程序运行轨迹数据中发现更多不变量的可能性. 关键词:程序不变量ꎻＧＥＰ 函数型程序不变量 中图分类号:ＴＰ３１１　 　 　 文献标志码:Ｂ Ａ Ｍｅｔｈｏｄ ｏｆ Ｄｅｔｅｃｔｉｎｇ Ｌｉｋｅｌｙ Ｐｒｏｇｒａｍ Ｉｎｖａｒｉａｎｔｓ Ｂａｓｅｄ ｏｎ ＧＥＰ ＧＵＯ Ｐｅｉ￣ｊｉａꎬＷＵ Ｑｕ￣ｊｉｎｇ∗ (Ｓｃｈｏｏｌ ｏｆ Ｃｏｍｐｕｔｅｒ Ｓｃｉｅｎｃｅ ａｎｄ ＴｅｃｈｎｏｌｏｇｙꎬＵｎｉｖｅｒｓｉｔｙ ｏｆ Ｓｏｕｔｈ ＣｈｉｎａꎬＨｅｎｇｙａｎｇꎬＨｕｎａｎ４２１００１ꎬＣｈｉｎａ) Ａｂｓｔｒａｃｔ:Ｉｔ ｉｎｔｒｏｄｕｃｅｓ ａ ｎｅｗ ａｌｇｏｒｉｔｈｍ ｂａｓｅｄ ｏｎ ＧＥＰ ｗｈｉｃｈ ｃａｎｆｉｎｄ Ｆｕｎｃｔｉｏｎａｌ Ｐｒｏｇｒａｍ Ｉｎｖａｒｉａｎｔｓｆｒｏｍ ｄａｔａ ｆｏｒｍｅｄ ｂｙ ｏｂｓｅｒｖｉｎｇ ｐｒｏｇｒａｍ ｅｘｅｃｕｔｉｎｇ.Ｉｎ ｔｈｅ ｆｉｅｌｄ ｏｆ ｄｅｔｅｃｔｉｎｇ ｐｒｏ￣ ｇｒａｍ ｉｎｖａｒｉａｎｔｓꎬｔｈｅ ａｌｇｏｒｉｔｈｍ ｉｍｐｒｏｖｅｓｐｏｓｓｉｂｉｌｉｔｙ ｏｆ ｍｉｎｉｎｇ ｍｏｒｅ ｉｎｖａｒｉａｎｔｓｗｈｉｃｈ ｃａｎ ｎｏｔ ｂｅ ｆｏｕｎｄ ｂｙ ｔｈｅ ｔｅｃｈｎｏｌｏｇｙ ｉｎ ｅｘｉｓｔｅｎｃｅ ａｎｄ ｃａｎ ｇｅｔ ｓｕｃｃｅｓｓｆｕｌｌｙ ｐｏｌｙｎｏｍｉａｌ ｆｕｎｃｔｉｏｎａｌ ｉｎ￣ ｖａｒｉａｎｔｓ. ｋｅｙ ｗｏｒｄｓ:ｐｒｏｇｒａｍ ｉｎｖａｒｉａｎｔｓꎻＧＥＰꎻｆｕｎｃｔｉｏｎａｌ ｐｒｏｇｒａｍ ｉｎｖａｒｉａｎｔｓ ０　 引　 言 质.由于采集的数据总是有限的ꎬ所以似然程序不 变量也许是真正的不变量ꎬ也许是伪不变量.动态 程序不变量(Ｉｎｖａｒｉａｎｔｓ)是指软件程序运行 发现程序不变量研究的主要目的是通过观察和分 时保持不变性质的逻辑断言.严格来讲ꎬ在动态分 析程序运行数据获取程序不变量ꎬ提供给程序员 析方法中程序不变量应该称为似然程序不变量ꎬ 作为提高程序质量的重要依据. 它描述的是在程序的多次运行中保持不变的性 通过程序的实际运行轨迹发现其不变性质的 － － 收稿日期:２０１６ １０ １０ － 作者简介:郭培甲(１９９４ )ꎬ男ꎬ宁夏中卫人ꎬ南华大学计算机科学与技术学院.主要研究方向:软件工程. ∗通讯 作者. 第３０卷第４期 郭培甲等:一种基于ＧＥＰ 的程序不变量动态发现方法 １０７