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 u- sing 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 ...
