Institute of Computing Technology, Chinese Academy IR
| 一种场景敏感的高效错误检测方法 | |
| 衷璐洁1; 霍玮2; 李龙1; 李丰1; 冯晓兵1; 张兆庆1 | |
| 2014 | |
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825 |
| 卷号 | 25.0期号:003页码:472 |
| 摘要 | 定值-引用类错误是一类非常重要且常见的错误．当前’对这类错误的检测很难同时达到高精度和高可扩展性．通过合理组合敏感和不敏感的检测方法并控制两类方法的实施范围，可以同时达到高检测精度和高可扩展性．提出一种新颖的场景敏感的检测方法，该方法根据触发状态对潜在错误语句分类，识别不同类别语句的触发场景并实施不同开销的检测，在不降低精度的同时最小化检测开销．设计了一个多项式时间复杂度的流敏感、域敏感和上下文敏感的场景分析以进行分类，并基于程序依赖信息识别触发场景，仅对必要的触发场景实施路径敏感的检测．为上述方法实现了一种原型系统——Minerva．通过使用空指针引用错误检测为实例研究以及总代码规模超过290万行，最大单个应用超过200万行的应用验证，用例实验结果表明，Minerva的平均检测时间比当前先进水平的路径敏感检测工具Clang—sa和Saturn分别快3倍和46倍．而Minerva的误报率仅为24％，是Clang-sa和Saturn误报率的1／3左右，并且Minerva未发现漏报已知错误．上述数据表明，所提出的场景敏感的错误检测方法可同时获得高可扩展性和高检测精度． |
| 关键词 | 定值-引用错误 路径敏感错误检测 错误目标触发场景 场景敏感 程序分析 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/34848 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.中国科学院计算技术研究所 2.中国科学院信息工程研究所 |
| 第一作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 衷璐洁,霍玮,李龙,等. 一种场景敏感的高效错误检测方法[J]. 软件学报,2014,25.0(003):472. |
| APA | 衷璐洁,霍玮,李龙,李丰,冯晓兵,&张兆庆.(2014).一种场景敏感的高效错误检测方法.软件学报,25.0(003),472. |
| MLA | 衷璐洁,et al."一种场景敏感的高效错误检测方法".软件学报 25.0.003(2014):472. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [衷璐洁]的文章 |
| [霍玮]的文章 |
| [李龙]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [衷璐洁]的文章 |
| [霍玮]的文章 |
| [李龙]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [衷璐洁]的文章 |
| [霍玮]的文章 |
| [李龙]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论