-
题名上下文不一致性缺陷的检测
- 1
-
-
作者
王伟
刘渊
张春瑞
文平
谢家俊
-
机构
中国工程物理研究院计算机应用研究所
-
出处
《计算机科学》
CSCD
北大核心
2015年第S1期525-530,共6页
-
基金
中物院科学技术发展基金(2012A0403021)资助
-
文摘
为了检测在软件开发过程中由拷贝-粘贴操作引起的上下文不一致性缺陷,在基于频繁子序列挖掘算法的克隆代码检测模型基础上,改进上下文不一致性缺陷检测过滤规则,对上下文结构类型不一致性和上下文条件谓词不一致性两种缺陷进行了检测。为了识别具有相同语义但不同语法结构(即语法树表示)的表达式,还增加了对生成的表达式语法树的标准化处理。开源代码上的实验结果表明,该模型对拷贝-粘贴操作引起的上下文不一致性缺陷具有较低的误检率,不存在漏检,尤其适用于安全攸关的软件系统。
-
关键词
序列挖掘
克隆代码
上下文不一致性缺陷
软件缺陷检测
-
Keywords
Sequential pattern mining,Clone code,Context-based inconsistencies bugs,Software bug detection
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
-
-
题名上下文不一致性检测及消除的研究
被引量:2
- 2
-
-
作者
张奕男
吴刚
-
机构
上海交通大学软件学院
-
出处
《计算机科学》
CSCD
北大核心
2011年第9期116-118,129,共4页
-
基金
国家863项目(2009AA01Z123)资助
-
文摘
在普适计算环境下,由于获得的上下文信息存在不一致性,使得上下文感知应用无法正常进行响应。研究了普适计算环境下的上下文不一致性的检测及消除,针对其提出了基于置信度数据库的反馈机制,并且丰富和扩展了上下文不一致性的消除算法。实现了相关算法,并通过实验给出了各个算法的效率和正确性的比较。
-
关键词
上下文不一致性
检测
消除
置信度数据库
-
Keywords
Inconsistency of context
Detect
Eliminate
Confidence measure database
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-