上下文不一致性缺陷的检测

Detection of Context-based Inconsistencies Bugs

为了检测在软件开发过程中由拷贝-粘贴操作引起的上下文不一致性缺陷,在基于频繁子序列挖掘算法的克隆代码检测模型基础上,改进上下文不一致性缺陷检测过滤规则,对上下文结构类型不一致性和上下文条件谓词不一致性两种缺陷进行了检测。为了识别具有相同语义但不同语法结构(即语法树表示)的表达式,还增加了对生成的表达式语法树的标准化处理。开源代码上的实验结果表明,该模型对拷贝-粘贴操作引起的上下文不一致性缺陷具有较低的误检率,不存在漏检,尤其适用于安全攸关的软件系统。

In order to detect context-based inconsistencies bugs induced by copy-paste in the development of software,based on the model of clone code detection via sequential pattern mining algorithm,filter rules of context-based inconsistencies were improved.Both context constructs inconsistency bugs and context conditional predicates inconsistency bugs were detected.To recognize semantically equivalent with different syntactic structure(i.e.syntax-tree),the standardization of expressions syntax-tree was added.The experimental results on the open source codes show that the model has low false-positive rate and 0%false-negative rate.It is especially suitable for safety-critical software.