基于变型空间代数的自动程序修复方法

• 作者: 徐勇 毋国庆 袁梦霆 黄勃
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 自动程序修复 变型空间代数 归纳学习 上下文无关文法 生成树
• 年，卷（期）: 2017,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 2498-2505
• 页数: 8页
• 分类号: TP311
• 字数: 7187字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2017.10.026

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毋国庆	武汉大学计算机学院	72	470	12.0	17.0
2	袁梦霆	武汉大学计算机学院	13	39	3.0	6.0
3	黄勃	上海工程技术大学电子电气工程学院计算机系	40	87	5.0	7.0
4	徐勇	广东肇庆学院数学与统计学院	4	5	2.0	2.0