基于数据流分析的缺陷关联研究

来源 :北京邮电大学 | 被引量 : 4次 | 上传用户:jayguo123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
静态缺陷检测已经成为软件测试重要的一环。它包括缺陷检测和缺陷结果分析两个阶段。由于静态分析本身不可能做到既完备又可靠,在减少漏报的同时往往会引入误报,导致对于缺陷检测结果必须由人工进行仔细的分析辨别。对于大型的工程而言,缺陷检测结果分析需要投入大量的人工审查,降低了缺陷检测的效率。本文通过对静态缺陷检测工具DTS的检测结果进行分析,发现大量缺陷之间存在着关联关系,通过发掘它们之间的关联关系将有效的减少人工审查工作,提高缺陷检测的效率。我们提出基于符号化区域内存模型以及定义使用链进行关联的方法,并在关联后通过数据流分析计算出每类缺陷中的主导缺陷。如果主导缺陷为真实缺陷或者误报,则该类缺陷的其它缺陷也相应为真实缺陷或者误报。这样就仅需要检查关联后主导缺陷是否为真实缺陷或者误报即可。实验结果显示,缺陷检测结果中20.5%的缺陷是冗余的,相应的这将减少15-25%的人工审查工作。
其他文献
在双相发酵系统中,将分枝杆菌BD696-6细胞固定在不同载体上,进行降解植物甾醇侧链生成雄烯二酮(AD)效果的研究。结果表明:相对丝瓜布、棉纱布及泡沫,硅藻土有更好的固定化效
随着我国城市化进程不断加快,人们向一线城市、省会城市聚集的情况逐渐增多,伴随着生活水平的不断变化,居民的用电需求也大幅度提升。在人们畅享城市生活带来的愉悦和便捷的
本文简要讲述了目前救援现场管控的现状,安全指挥员设立的方法,运转的机制,安全指挥员工作职责等,将现场安全管理提升为安全管控,推动安全指挥员作用的发挥,确保救援现场人员
大型养路机械在铁路维修中发挥重要的作用,其火灾的发生会造成不可挽回的损失和影响。通过对大型养路机械火灾危险源、火灾类型的识别,阐述了各种传统灭火方式相对大型养路机
<正>癌胚抗原正常时经胃肠道代谢,而人体肿瘤状态时,肿瘤组织分泌癌胚抗原量常增加,进入血液和淋巴循环的癌胚抗原量随之增加,通过血液和肿瘤组织分泌液检测癌胚抗原含量协助
高层建筑虽然使土地资源的利用得到缓解,然而也滋生越来越多的火险隐患,有关部门必须对此予以高度重视。本文将对高层建筑的主要火险特征加以介绍,分别从疏散逃生与灭火救援
东南亚华人与家族主义陈艳云刘林平一在中国数千年的文化传统中,家族主义无疑是一种影响十分深远、普遍和持久的基本的文化精神。众所周知,中国是一个古老的农业国度,她的全部历
采用超声波法提取茶皂素的工艺,确定最佳的工艺参数为:乙醇浓度80%、料液比1:4、提取温度40℃、超声波功率320W、超声波作用时间60min。最佳工艺条件下的茶皂素粗品得率为18.54%,茶
为了开发新型天然抗菌物质,本研究以猪粪便中分离出的一株产抗猪链球菌细菌素产生菌屎肠球菌LPL420P06为试材,对其产生的细菌素进行了理化特性研究。结果表明,该细菌素具有良好