期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种场景敏感的高效错误检测方法
被引量：
2
1
作者
衷璐洁
霍玮
+3 位作者
李龙
李丰
冯晓兵
张兆庆
《软件学报》
EI
CSCD
北大核心
2014年第3期472-488,共17页
定值-引用类错误是一类非常重要且常见的错误.当前,对这类错误的检测很难同时达到高精度和高可扩展性.通过合理组合敏感和不敏感的检测方法并控制两类方法的实施范围,可以同时达到高检测精度和高可扩展性.提出一种新颖的场景敏感的检测...
定值-引用类错误是一类非常重要且常见的错误.当前,对这类错误的检测很难同时达到高精度和高可扩展性.通过合理组合敏感和不敏感的检测方法并控制两类方法的实施范围,可以同时达到高检测精度和高可扩展性.提出一种新颖的场景敏感的检测方法,该方法根据触发状态对潜在错误语句分类,识别不同类别语句的触发场景并实施不同开销的检测,在不降低精度的同时最小化检测开销.设计了一个多项式时间复杂度的流敏感、域敏感和上下文敏感的场景分析以进行分类,并基于程序依赖信息识别触发场景,仅对必要的触发场景实施路径敏感的检测.为上述方法实现了一种原型系统——Minerva.通过使用空指针引用错误检测为实例研究以及总代码规模超过290万行,最大单个应用超过200万行的应用验证,用例实验结果表明,Minerva的平均检测时间比当前先进水平的路径敏感检测工具Clang-sa和Saturn分别快3倍和46倍.而Minerva的误报率仅为24%,是Clang-sa和Saturn误报率的1/3左右,并且Minerva未发现漏报已知错误.上述数据表明,所提出的场景敏感的错误检测方法可同时获得高可扩展性和高检测精度.
展开更多
关键词
定值-
引用错误
路径敏感
错误
检测
错误
目标触发场景
场景敏感
程序分析
在线阅读
下载PDF
职称材料
召回启事
2
作者
《中国环境科学》编辑部
《中国环境科学》
EI
CAS
CSCD
北大核心
2022年第8期3491-3491,共1页
因2021年第1期中某篇论文存在引用错误,本着对读者负责的态度,现决定对已发行和赠阅的期刊实行召回.请读者将该期期刊寄回编辑部(联系电话:010-62215145,地址:北京市海淀区红联南村54号,邮编:100082).由此给读者造成的不便和困扰,深表歉意.
关键词
北京市海淀区
召回
引用错误
期刊
在线阅读
下载PDF
职称材料
题名
一种场景敏感的高效错误检测方法
被引量：
2
1
作者
衷璐洁
霍玮
李龙
李丰
冯晓兵
张兆庆
机构
中国科学院计算技术研究所计算机体系结构国家重点实验室
首都师范大学信息工程学院
中国科学院大学
中国科学院信息工程研究所第五研究室
出处
《软件学报》
EI
CSCD
北大核心
2014年第3期472-488,共17页
基金
国家自然科学基金(61100011
61202055
+2 种基金
61303053)
国家自然科学基金创新研究群体科学基金(60921002)
国家高技术研究发展计划(863)(2012AA010901)
文摘
定值-引用类错误是一类非常重要且常见的错误.当前,对这类错误的检测很难同时达到高精度和高可扩展性.通过合理组合敏感和不敏感的检测方法并控制两类方法的实施范围,可以同时达到高检测精度和高可扩展性.提出一种新颖的场景敏感的检测方法,该方法根据触发状态对潜在错误语句分类,识别不同类别语句的触发场景并实施不同开销的检测,在不降低精度的同时最小化检测开销.设计了一个多项式时间复杂度的流敏感、域敏感和上下文敏感的场景分析以进行分类,并基于程序依赖信息识别触发场景,仅对必要的触发场景实施路径敏感的检测.为上述方法实现了一种原型系统——Minerva.通过使用空指针引用错误检测为实例研究以及总代码规模超过290万行,最大单个应用超过200万行的应用验证,用例实验结果表明,Minerva的平均检测时间比当前先进水平的路径敏感检测工具Clang-sa和Saturn分别快3倍和46倍.而Minerva的误报率仅为24%,是Clang-sa和Saturn误报率的1/3左右,并且Minerva未发现漏报已知错误.上述数据表明,所提出的场景敏感的错误检测方法可同时获得高可扩展性和高检测精度.
关键词
定值-
引用错误
路径敏感
错误
检测
错误
目标触发场景
场景敏感
程序分析
Keywords
def-use fault
fault detection
sink triggering scene
scene-sensitive
program analysis
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
召回启事
2
作者
《中国环境科学》编辑部
机构
不详
出处
《中国环境科学》
EI
CAS
CSCD
北大核心
2022年第8期3491-3491,共1页
文摘
因2021年第1期中某篇论文存在引用错误,本着对读者负责的态度,现决定对已发行和赠阅的期刊实行召回.请读者将该期期刊寄回编辑部(联系电话:010-62215145,地址:北京市海淀区红联南村54号,邮编:100082).由此给读者造成的不便和困扰,深表歉意.
关键词
北京市海淀区
召回
引用错误
期刊
分类号
G23 [文化科学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种场景敏感的高效错误检测方法
衷璐洁
霍玮
李龙
李丰
冯晓兵
张兆庆
《软件学报》
EI
CSCD
北大核心
2014
2
在线阅读
下载PDF
职称材料
2
召回启事
《中国环境科学》编辑部
《中国环境科学》
EI
CAS
CSCD
北大核心
2022
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
