南华大学学报（自然科学版）2017，Vol.31Issue(1)：72-76,5.
基于GEP-RNC的指数对数型程序不变量发现方法
Method of Finding Program Invariants of Exponential andLogarithm Based on GEP-RNC
摘要
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.关键词
程序不变量/GEP-RNC/对数/指数Key words
program invariants/GEP-RNC/logarithm/exponential分类
信息技术与安全科学引用本文复制引用
李玉燕,阳小华,吴取劲..基于GEP-RNC的指数对数型程序不变量发现方法[J].南华大学学报（自然科学版）,2017,31(1):72-76,5.基金项目
湖南省哲学社会科学基金(14YBA335) （14YBA335）
