用于软件故障定位的新型核测度的设计与分析

软件故障定位问题可视为一种在现有程序代码中寻找隐藏故障或缺陷的方法，这些程序代码语法正确，且对某些输入实例给出无故障输出，但对所有其他输入实例失败。某些原因包括逻辑错误、对规范的误解、编码错误。有时借助编译器无法发现此类故障。这正是软件故障定位的必要性和意义所在。本工作的主要贡献是首先引入块命中-未命中函数（block hit-miss function），该函数将软件代码在样本运行上的执行序列的块向量与表示无故障或错误输出的决策向量相关联。将该相似性测度应用于块向量和决策向量作为输入，并将具有最大相似性的对视为故障块。