缺陷检测系统中警报自动聚类方法研究及实现

来源 :北京邮电大学 | 被引量 : 4次 | 上传用户:thelkiss
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
静态缺陷检测技术因利用各种静态分析方法来发现程序中的潜在缺陷而深受用户青睐。但缺陷检测结果往往存在大量的漏报和误报,这需要用户投入大量的时间和精力进行人工确认。降低缺陷检测结果的误报率以及提高人工确认的效率是提升静态缺陷检测技术的实用性的两个有效途径。本文在对缺陷检测结果进行大量分析的基础上,提出了一种基于缺陷检测系统的警报自动聚类方法。本文首先根据警报相关特性以及变量的数据来源提出了警报间等价、主宰、相似和支配这四种关系。然后具体分析了每种关系的性质和产生原因,给出了相应的判定策略。最后基于缺陷检测系统,利用变量的定值函数,给出了警报自动聚类的相关算法。本文所述的警报自动聚类方法已在缺陷检测系统DTS中实现。基于警报聚类结果,如果一个警报被确认是误报(或真实故障),那么与之存在等价关系的警报也一定是误报(或真实故障),与之存在相似关系的警报则有极大可能也是误报(或真实故障),这在一定程度上减少了警报确认数量。通过对5个开源工程的检测结果进行分析,该方法可以提高约60%的人工确认效率,为静态缺陷检测工具检测大规模的软件提供了有力支持。
其他文献
目的:检测急性冠脉综合征(Acute Coronary Syndrome ACS)患者外周血红细胞微粒(RMPs)与内皮细胞微粒(EMPs)水平,分析其与临床指标的相关性,为ACS发病机制的研究提供理论依据
近年来信息化社会的步伐不断加快,随着大数据、云计算和移动互联网等新兴业务的蓬勃发展,用户对网络带宽和通信容量的需求也在持续增长。用户对移动终端的数据需求持续增加,
本文是一篇翻译报告。该翻译报告原文选自迈克尔·尼古拉斯(Michael Nicholas)著作的《决策黑皮书:如何在日新月异的世界里决策自如》的第二部分第6-7章。该书主要描述了影响
概念表征一直是语言研究的重要内容。传统的命题符号理论认为概念表征与外界具体事物和身体经验没有直接联系,是以抽象符号的形式存储于语言记忆中,而知觉符号理论则强调身体
水是生命之源,是人类和所有生物赖以生存和发展的物质基础,水资源的安全与社会发展、人类生活密切相关。近年来,随着中国人口的不断增加和社会经济的飞速发展,导致水资源供需
本翻译报告原文选自《数字一代的思维技能:信息时代思维与学习的拓展》第五章,该书的作者是巴卢·H阿思瑞亚(Balu H.Athreya)和克里斯托拉·莫扎(Chrystalla Mouza)。该书属
本文是一篇翻译项目报告。翻译项目的原文选自《隐私:人人需知的事实》(Privacy:What Everyone Needs to Know)一书第四章“隐私与教育信息”(Privacy and Educational Infor
本文是一篇翻译项目报告。翻译项目的原文节选自《正在消失的美国成年人:我们的成年危机,如何重塑自立文化》(The Vanishing of American Adult:Our Coming-of-Age Crisis an
近些年里,随着对于化学疗法治疗癌症的理解和研究的不断加深,与之匹配的药物递送体系的设计及其性能要求也需要大幅度提高,各种刺激响应性的新型聚合物作为药物载体吸引了广
交通拥堵是各大城市普遍存在的问题,造成交通拥堵的主要原因之一是交通流空间分布的不均衡。如何通过历史交通流数据对城市交通网络的均衡结构进行评价,并利用现有的数据优化