%0 Journal Article
%T Invariants based program repair evolutionary extended model<br>基于不变量的程序修复进化扩展模型*
%A HE Jia-lang
%A ZHANG Kun
%A MENG Jin
%A ZHANG Hong
%A <br>何加浪
%A 张琨
%A 孟锦
%A 张宏
%J 计算机应用研究
%D 2010
%I 
%X 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.
%K program invariants
%K evolutionary computing
%K software repair
%K intelligent repair<br>程序不变量
%K 进化计算
%K 程序修复
%K 智能修复
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=363A917C18BEE3E3C4E8BD37C1FF0344&yid=140ECF96957D60B2&vid=DB817633AA4F79B9&iid=59906B3B2830C2C5&sid=07118AAAD6F2FCE4&eid=81820B3BD8DAE302&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=10