| 基于GEP-RNC的指数对数型程序不变量发现方法 |
| |
| 引用本文： | 李玉燕,阳小华,吴取劲.基于GEP-RNC的指数对数型程序不变量发现方法[J].南华大学学报(自然科学版),2017,31(1):72-76. |
| |
| 作者姓名： | 李玉燕 阳小华 吴取劲 |
| |
| 作者单位： | 南华大学 计算机科学与技术学院,湖南 衡阳 421001,南华大学 计算机科学与技术学院,湖南 衡阳 421001,南华大学 计算机科学与技术学院,湖南 衡阳 421001 |
| |
| 基金项目： | 湖南省哲学社会科学基金(14YBA335) |
| |
| 摘 要： | 程序不变量的发现是一种提高软件质量的有效方法.不变量发现工具Daikon可以发现程序中蕴含的简单不变量形式,但不包括复杂的函数型不变量.本文基于GEP-RNC算法对指数对数型不变量发现方法进行研究,通过实验证明GEP-RNC算法可以有效的发现指数对数形式的不变量,解决了基因表达式编程算法在复杂函数形式发现中稳定性不佳,精度不高的问题,扩展了Daikon不变量测试库中程序不变量的类型.
|
| 关 键 词： | 程序不变量 GEP-RNC 对数 指数 |
| 收稿时间： | 2017/1/23 0:00:00 |
Method of Finding Program Invariants of Exponential and Logarithm Based on GEP-RNC |
| |
| LI Yu-yan,YANG Xiao-hua and WU Qu-jing.Method of Finding Program Invariants of Exponential and Logarithm Based on GEP-RNC[J].Journal of Nanhua University:Science and Technology,2017,31(1):72-76. |
| |
| Authors: | LI Yu-yan YANG Xiao-hua and WU Qu-jing |
| |
| Institution: | School of Computer Science and Technology,University of South China,Hengyang,Hunan 421001,China,School of Computer Science and Technology,University of South China,Hengyang,Hunan 421001,China and School of Computer Science and Technology,University of South China,Hengyang,Hunan 421001,China |
| |
| Abstract: | The discovery of program invariants is an effective method to improve the quality of software.We can find the simple invariants in the program through the test library by using the invariant discovery tool Daikon,but not including the complex function invariants.In this paper,we study the method of finding the invariants of exponential and logarithm type based on GEP-RNC algorithm.It is proved that GEP-RNC algorithm can effectively find the invariants of exponential and logarithmic form,which solves the problems of poor stability and low precision of gene expression programming algorithm in the form of complex function,and extends the type of program invariants in the invariant test library in Daikon. |
| |
| Keywords: | program invariants GEP-RNC logarithm exponential |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《南华大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《南华大学学报(自然科学版)》下载免费的PDF全文 |
|
