主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
张大林,金大海,宫云战,王前,董玉坤,张海龙.基于缺陷关联的静态分析优化.软件学报,2014,25(2):386-399
基于缺陷关联的静态分析优化
Optimizing Static Analysis Based on Defect Correlations
投稿时间:2013-05-08  修订日期:2013-12-05
DOI:10.13328/j.cnki.jos.004538
中文关键词:  静态分析  优化  缺陷关联  抽象解释  状态切片
英文关键词:static analysis  optimizing  defect correlation  abstract interpretation  state slicing
基金项目:国家自然科学基金(91318301, 61202080);国家高技术研究发展计划(863)(2012AA011201)
作者单位E-mail
张大林 网络与交换技术国家重点实验室(北京邮电大学),北京 100876 dalin@bupt.edu.cn 
金大海 网络与交换技术国家重点实验室(北京邮电大学),北京 100876  
宫云战 网络与交换技术国家重点实验室(北京邮电大学),北京 100876  
王前 网络与交换技术国家重点实验室(北京邮电大学),北京 100876  
董玉坤 网络与交换技术国家重点实验室(北京邮电大学),北京 100876  
张海龙 网络与交换技术国家重点实验室(北京邮电大学),北京 100876  
摘要点击次数: 3094
全文下载次数: 2393
中文摘要:
      缺陷检测一般包括静态分析与人工审查两个阶段.静态检测工具报告大量缺陷,但是主要的缺陷确认工作仍由人工完成,这是一件费时、费力的工作.巨大的审查开销可能会导致软件开发人员拒绝使用该静态缺陷检测工具.提出一种可靠的基于缺陷关联的静态分析优化方法,能够分组静态检测工具所报告的缺陷,在分组后的任意一组缺陷中,如果其主导缺陷被证明是误报(或者是真实的),就能确认其他缺陷也是误报(也是真实的).实验结果表明,基于缺陷关联的静态分析优化方法在较小的时间和空间开销下减少了22%的缺陷审查工作,能够较好地适应于大型的关键嵌入式系统程序缺陷检测.
英文摘要:
      Defect detection generally includes two stages: static analysis and defect inspection. A large number of defects reported may lead developers and managers to reject the use of static analysis tools as part of the development process due to the overhead of defect inspection. To help with the inspection tasks, this paper formally introduces defect correlation, a sound dependency relationship between defects. If the occurrence of one defect causes another defect to occur, the two defects are correlated. This paper presents a sound optimized method to static analysis that can classify the defects reported by static defect detection tool into different groups, in which all defects are false positives (true positives) if the dominant defect is false positives (true positives). The experimental results show a decrease of 22% the time inspecting all defects and the capability and flexibility of this method to detect defects of large, critical or embedded systems.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利