一种场景敏感的高效错误检测方法
文献类型：期刊论文
| 作者 | 衷璐洁2; 霍玮1; 李龙2; 李丰2; 冯晓兵2; 张兆庆2 |
| 刊名 | 软件学报
 |
| 出版日期 | 2014 |
| 卷号 | 25.0期号:003页码:472 |
| 关键词 | 定值-引用错误 路径敏感错误检测 错误目标触发场景 场景敏感 程序分析 |
| ISSN号 | 1000-9825 |
| 英文摘要 | 定值-引用类错误是一类非常重要且常见的错误．当前’对这类错误的检测很难同时达到高精度和高可扩展性．通过合理组合敏感和不敏感的检测方法并控制两类方法的实施范围，可以同时达到高检测精度和高可扩展性．提出一种新颖的场景敏感的检测方法，该方法根据触发状态对潜在错误语句分类，识别不同类别语句的触发场景并实施不同开销的检测，在不降低精度的同时最小化检测开销．设计了一个多项式时间复杂度的流敏感、域敏感和上下文敏感的场景分析以进行分类，并基于程序依赖信息识别触发场景，仅对必要的触发场景实施路径敏感的检测．为上述方法实现了一种原型系统——Minerva．通过使用空指针引用错误检测为实例研究以及总代码规模超过290万行，最大单个应用超过200万行的应用验证，用例实验结果表明，Minerva的平均检测时间比当前先进水平的路径敏感检测工具Clang—sa和Saturn分别快3倍和46倍．而Minerva的误报率仅为24％，是Clang-sa和Saturn误报率的1／3左右，并且Minerva未发现漏报已知错误．上述数据表明，所提出的场景敏感的错误检测方法可同时获得高可扩展性和高检测精度． |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/34847]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 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. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。