关于变异技术的程序故障自动化修复方法.pdfVIP

第31卷第1期 计算机应用研究 V01．31No．1 2014年1月 Researchof Jan．2014 Application Computers 基于变异技术的程序故障自动化修复方法木 马春燕1，刘杰1，赖文豫2 (1．西北工业大学软件与微电子学院，西安710072；2．中国人民大学信息学院，北京100872) 摘要：结合故障定位技术，提出了一种基于变异的程序故障自动化修复方法，并采用该方法阐释了C程序表 达式故障的变异修复机制，研制了C程序故障自动化修复辅助工具。通过对实际故障系统案例的分析，证明了 方法的有效性。 关键词：变异技术；故障定位；故障自动化修复 中图分类号：TP311 文献标志码：A 文章编号：1001—3695(2014)01—0177—05 doi：10．3969／j．issn．100l-3695．2014．01．04I Methodfor withmutation repairingprogramautomatically MA Jiel，LAI Chun．yanl，LIUWen—yu2 (1．SchoolofSoftware＆Microelectronics，NoahwestemPolytechnicalUniversity，Xi’口n710072，China；2．School 100872，China) UniversityofChina，Beijing anautomatic via and onthe localization mutation Abstract：Basedbug technology，thispaperproposed repairapproach ap- onthe thismethodto of ofC theautomatic toolbased plied repairbugsexpressionslanguageprograms．Itdeveloped repairing case isfoundthatthe methodiseffective． studies，it proposedmethod．Through proposed words：mutation automatic Key technique；buglocalization；bugrepairing 随着计算机硬件水平快速发展以及应用程序规模和复杂 言程序归1进行自动修复的方法。国内，南京理工大学何加浪 度急剧增加，程序的可靠性和可维护性问题越来越突出，程序 等人‘1刨在Weimer等人的研究基础上，通过不变量约束对有哪些信誉好的足球投注网站 故障已经严重影响了软件产业的快速、健康发展。近年来，通 空间进行划分和约简，并针对测试用例很难覆盖所有功能的需 过软件测试技术发现程序故障后，如何修复决定了软件的开发 求，提出使用成功测试用例学习的不变量约束来解决该问题。 周期、质量和成本。2002年，美国国家标准与技术研究所NIST但是文献[6～8]的遗传修复方法有一个修复的前提：成功测 的调查