文献详情
基于变异技术的程序故障自动化修复方法
外文标题：Method for repairing program automatically with mutation
文献类型：期刊
作者：马春燕^[1]刘杰^[2]赖文豫^[3]
机构：西北工业大学软件与微电子学院,西安,710072;中国人民大学信息学院,北京,100872

年：2014
期刊名称：计算机应用研究
卷：31
期：1
页码范围：177-181
增刊：增刊
收录情况：中文核心期刊要目总览中国科技核心期刊CSCD(CSCD:5034510)
所属部门：信息学院
语言：中文
ISSN：1001-3695
链接地址：http://d.g.wanfangdata.com.cn/Periodical_jsjyyyj201401041.aspx
DOI：10.3969/j.issn.1001-3695.2014.01.041
人气指数：8
浏览次数：8
基金：国家自然科学基金资助项目; 西北工业大学基础研究基金资助项
关键词：变异技术;故障定位;故障自动化修复
摘要：结合故障定位技术,提出了一种基于变异的程序故障自动化修复方法,并采用该方法阐释了C程序表达式故障的变异修复机制,研制了C程序故障自动化修复辅助工具.通过对实际故障系统案例的分析,证明了方法的有效性.
作者其他论文



一种闪存敏感的多级缓存管理方法?.王江涛;赖文豫;孟小峰.软件学报.2014,2575-2586.
闪存数据库:现状,技术与展望.王江涛;赖文豫;孟小峰.计算机学报.2013,36(8),1549-1567.
生态旅游用地分类体系研究.刘杰;严金明;邱卉.中国土地科学.2013,71-77.
基于固态硬盘内部并行的数据库表扫描与聚集.范玉雷;赖文豫;孟小峰.计算机学报.2012,35(11),2327-2336.
关于土地利用规划本质,功能和战略导向的思考.严金明;刘杰.中国土地科学.2012,26(2),4-9.