Invariants based program repair evolutionary extended model
基于不变量的程序修复进化扩展模型*

To effectively solve the search space explosion problem and the normal function sacrifice problem, this paper pre-sented an invariants based program repair evolutionary extended model called EREM. EREM reduced consumption using the invariant constraints to divide and reduce the search space, and maintained the mainly functions according to the invariant constraints learned from normal program execution. And considered the number of the maintained invariants and the number of the violated invariants in the design of the fitness function. Illustrated the model and the work process. Experimental results show the feasibility and effectiveness of this extended model.