基于不变量的程序修复进化扩展模型.pdf

第27卷第 12期 计 算 机 应 用 研 究 Vol_27No．12 2010年 12月 ApplicationResearchofComputers Dec．2010 基于不变量的程序修复进化扩展模型水 何加浪，张 琨 ，孟 锦 ，张 宏 (南京理工大学计算机科学与技术学院，南京210094) 摘 要：为了有效解决程序修复进化中搜索空间过大和正常功能牺牲的问题，提出了一种基于不变量约束的扩 展的程序修复进化模型(extendedrepairevolutionarymodel，EREM)，利用程序不变量约束对搜索空间进行划分和 约简以降低消耗 ，通过使用表达程序正常功能的正测试用例学习的不变量约束(称为正不变量约束)来保证程 序不牺牲正常的功能，在适应度函数的设计上考虑测试用例通过数的同时也考虑了正不变量约束的保持数，对 于破坏正不变量约束的个体适应度给予一定的惩罚值。最后通过实验对模型进行了验证，结果表 明了模型的可 行性和有效性 。 关键词：程序不变量；进化计算；程序修复；智能修复 中图分类号 ：TP311 文献标志码：A 文章编号 ：1001—3695(2010)12—4533-03 doi：10．3969／j．issn．1001—3695．2010．12．040 Invariantsbasedprogram repairevolutionaryextendedmodel HEJia—lang，ZHANG Kun，MENGJin，ZHANGHong (InstituteofComputerScienceTechnology，NanfingUniversityofScience＆Technology，Nanjing210094，China) Abstract：Toeffectivelysolvethesearchspaceexplosionproblem andthenormalfunctionsacrificeproblem，thispaperpre— sentedan invariantsbasedprogram repairevolutionaryextendedmodelcalledEREM．EREM reducedconsumptionusingthe invariantconstraintstodivideandreducethesearchspace．andmaintainedthemainlyfunctionsaccordingtotheinvariantcon． straintslearnedfrom normalprogram execution．Andconsideredthenumberofthemaintainedinvariantsandthenumberofthe violatedinvariantsinthedesignofthefitnessfunction．Illustratedthemodelandtheworkprocess．Experimentalresultsshow thefeasibilityandeffectivenessofthisextendedmode1． Keywords：program invariants；evolutionarycomputing；softwarerepair；intelligentrepair 试用例很难覆盖所有功能需求 ，这种方式下进化出的个体很可 0 引言 能牺牲重要的功能。 目前软件修复作为软件维护阶段的重要任务，花费十分巨 本文围绕上述问题 ，提出了扩展的修复进化模型 EREM。 利用程序不变量