文献类型：期刊文章

作　　者：徐勇[1] 毋国庆[2] 袁梦霆[2] 黄勃[3]

机构地区：[1]广东肇庆学院数学与统计学院,广东肇庆526061 [2]武汉大学计算机学院,湖北武汉430072 [3]上海工程技术大学电子电气工程学院计算机系,上海201620

出　　处：《电子学报》

基　　金：国家自然科学基金(No.61640221;No.61603242);上海高校青年教师培养资助计算专项基金(No.ZZGCD15088);肇庆学院科研基金(No.201734);肇庆市科技创新指导类项目(No.201704030409)

年　　份：2017

卷　　号：45

期　　号：10

起止页码：2498-2505

语　　种：中文

收录情况：BDHX、BDHX2014、CAS、CSCD、CSCD2017_2018、EI、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：基于代码枚举的自动程序修复方法借助变异算子对程序中错误语句进行变更操作,从而得到程序修复解.由于缺乏文法制导及变异算子数量的有限性,该方法的有效性有待进一步提高.本文提出一种基于变型空间代数的自动程序修复方法,即将回归测试用例集视为训练实例,通过归纳学习得到程序中出错语句的修复解.具体而言,该方法包括以下特征:(1)从文法到变型空间的自动构造生成方法;(2)根据变型空间树中变型空间的不同类别,分别给出一致性定义;(3)结合静态及类型检查的变型空间代数运算.实验结果表明:与基于代码枚举及基于搜索的修复方法相比,本文提出的方法在修复成功率方面更具优势;与此同时,方法中的静态及类型检查机制可以有效地削减假设空间的规模.

关 键 词：自动程序修复  变型空间代数  归纳学习  上下文无关文法 生成树

分 类 号：TP311]