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