一种基于聚类不变式分析的错误定位方法

摘要

一种基于聚类不变式分析的错误定位方法，基于程序执行的不变式分析技术，收集程序执行过程中的语句频谱信息进行聚类，对各个类簇分别计算与变量相关的不变式；之后进行新的程序执行，根据新的执行所具有的程序频谱将其划分至某个聚类中，比较新的执行与所在聚类中已有的不变式，如果新的执行违反了已有的不变式，则认为该次执行为一次错误执行；最后根据上述信息进行错误定位。本发明根据已有执行的程序频谱进行聚类，将程序执行空间划分为多个部分，再将新的执行与所属聚类的不变式进行对比分析，节省了验证程序执行正确与否的人力，同时得到了更细粒度的与不同程序执行空间相对应的不变式，有利于程序员进行错误定位。

主权项

一种基于聚类不变式分析的错误定位方法，其特征是收集程序执行过程中的语句频谱信息，计算各执行语句之间的距离，对程序执行的语句频谱信息进行聚类分析，将程序执行空间划分为多个类簇，对各个类簇分别计算与程序变量相关的不变式，执行新的测试用例，根据新的执行所对应的程序语句频谱将其划分至对应的类簇中，比较该测试用例执行结果与类簇中已有的不变式，如果新的执行违反了已有的不变式，则认为该次执行为一次错误执行，根据类簇信息完成错误定位。