基于概率模型检测的软件缺陷定位方法

作     者：任胜兵 陈军 谭文钊 左兴 Ren Shengbing;Chen Jun;Tan Wenzhao;Zuo Xing

作者机构：中南大学计算机学院长沙410083 

出 版 物：《计算机应用研究》 (Application Research of Computers)

年 卷 期：2021年第38卷第11期

页      码：3387-3392,3397页

摘      要：软件缺陷的存在导致软件无法满足用户的需求,如何高效高质量地定位缺陷是消除软件缺陷的关键。基于模型的缺陷定位技术是当前的研究热点,可以用于检测软件系统故障找到软件失效的原因。现有基于模型的缺陷定位技术中,未考虑非相邻节点间传递依赖和测试用例对可疑度的影响,导致缺陷定位精度和效率低。提出了基于概率模型检测的软件缺陷定位方法(probabilistic model checking method for software fault location,PMC-SFL),首先提出一种程序概率模型用于提高模型的推理能力;然后设计了基于执行路径构建程序概率模型的学习算法;最后设计了基于概率模型检测的软件缺陷定位算法,用于缺陷定位分析。通过在公共数据集Siemens上进行实验和分析,表明了PMC-SFL方法与五种现有的缺陷定位方法RankCP、BNPDG、Tarantula、SOBER和CT相比,具有更高的软件缺陷定位精度和效率。

主 题 词：缺陷定位 概率模型检测 测试用例 执行轨迹 概率计算树逻辑 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.19734/j.issn.1001-3695.2021.04.0132

馆 藏 号：203106295...