文献类型：期刊文章

作　　者：王兴亚[1,2] 姜淑娟[1] 高鹏飞[1] 陆凯[1] 薄莉莉[1] 鞠小林[3] 张艳梅[1,4]

WANG Xing-Ya;JIANG Shu-Juan;GAO Peng-Fei;LU Kai;BO Li-Li;JU Xiao-Lin;ZHANG Yan-Mei(School of Computer Science and Technology,China University of Mining and Technology,Xuzhou,Jiangsu 221116;State Key Laboratory for Novel Software Technology at Nanjing University,Nanjing 210023;School of Computer Science and Technology,Nantong University,Nantong,Jiangsu 226019;Guangxi Key Laboratory of Trusted Software,Guilin University of Electronic Technology,Guilin,Guangxi 541004)

机构地区：[1]中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心,江苏徐州221116 [2]南京大学计算机软件新技术国家重点实验室,南京210023 [3]南通大学计算科学与技术学院,江苏南通226019 [4]桂林电子科技大学广西可信软件重点实验室,广西桂林541004

出　　处：《计算机学报》

基　　金：国家自然科学基金(61673384,61832009,61772260,61502497,61562015);江苏省博士后科研资助计划(2018K028C);计算机软件新技术国家重点实验室创新项目(ZZKT2018B02);广西可信软件重点实验室研究课题(kx201609,kx201532)支持.

年　　份：2020

卷　　号：43

期　　号：2

起止页码：206-232

语　　种：中文

收录情况：BDHX、BDHX2017、CSA、CSA-PROQEUST、CSCD、CSCD2019_2020、EI、IC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：缺陷间的相互干扰会使程序的频谱信息和运行结果发生变化,进而影响基于频谱信息的缺陷定位方法(SBFL)的有效性.本文对缺陷干扰现象进行了研究,通过分析单缺陷程序与多缺陷程序在缺陷运行、感染和传播过程及程序运行结果间的差异定义了两类缺陷干扰,并根据干扰前后缺陷在互斥子集中的分布变化分析了缺陷干扰对SBFL方法有效性的影响.研究结果表明:与特定缺陷无关的失败测试用例是降低SBFL方法缺陷定位有效性的主要原因.在此基础上,本文提出了一种基于模糊C均值聚类的多缺陷定位方法FCMFL:首先,通过模糊C均值聚类分析失败测试用例与不同缺陷间的隶属关系,得到每个缺陷相关的失败测试信息;其次,基于隶属度矩阵加权计算每条语句的可疑度,并通过互斥子集优先级分析确定不同语句集合的检查顺序,最终生成一个语句检查序列指导开发人员进行程序调试.实验结果表明:(1)缺陷干扰会对SBFL方法产生影响,降低SBFL方法的缺陷定位有效性;(2)FCMFL方法可以降低多缺陷对SBFL方法的影响,提高SBFL方法的缺陷定位有效性.

关 键 词：程序调试  缺陷定位  程序切片 缺陷干扰  模糊聚类

分 类 号：TP311]