【摘 要】
：
为了检测在软件开发过程中由拷贝-粘贴操作引起的上下文不一致性缺陷,在基于频繁子序列挖掘算法的克隆代码检测模型基础上,改进上下文不一致性缺陷检测过滤规则,对上下文结构
【机 构】
：
中国工程物理研究院计算机应用研究所
【基金项目】
：
中物院科学技术发展基金(2012A0403021)资助
论文部分内容阅读
为了检测在软件开发过程中由拷贝-粘贴操作引起的上下文不一致性缺陷,在基于频繁子序列挖掘算法的克隆代码检测模型基础上,改进上下文不一致性缺陷检测过滤规则,对上下文结构类型不一致性和上下文条件谓词不一致性两种缺陷进行了检测。为了识别具有相同语义但不同语法结构(即语法树表示)的表达式,还增加了对生成的表达式语法树的标准化处理。开源代码上的实验结果表明,该模型对拷贝-粘贴操作引起的上下文不一致性缺陷具有较低的误检率,不存在漏检,尤其适用于安全攸关的软件系统。
其他文献
在整个社会进入信息时代的背景下，电子档案的产生无疑对传统的纸质档案管理理论和实践提出了新的巨大挑战。“确保并能够证明文件的真实性、完整性、可靠性和长期有效性，使电子
档案编研工作是系统、广泛、高效的利用档案的手段，是开发档案信息资源的重要形式。我国档案文献编研工作具有悠久的历史，从孔子编订《六书》开始到现在各种编研材料的出现，档案
经过多年技术攻关，我国第一根50km超大长度鱼雷制导光缆在电子八所研制成功。该光缆在长度、机械性能、环境适应性及传输性能等方面达到或超过世界先进水平，外径均匀性接近国际
<正>近日,中国船舶重工集团公司76所(船舶档案馆)被中共陕西省委、省人民政府命名为“陕西省文明单位”称号。这是该所全体干部职工经过十几年的努力,在精神文明创建活动中取
博弈论被广泛应用于描述和解决复杂的主体行为相互作用的决策问题.目前对于非实数值领域的博弈问题,成果很少,故研究支付值为格值类型的二人零和矩阵博弈.基于该类型博弈的特
随着社会信息化进程的加快，计算机在办公领域的普遍应用，政府机关和社会各行业都在积极的创造条件用电子计算机提高工作效率，加快现代化的进程。信息资源已成为人类经济、社会活
生物分子计算在实现上有很多局限性。借鉴了广义图灵模型（Generalized Turing Model,GTM）[1]。该模型是由分子计算粘贴模型与图灵机相结合而得到的,并且已证明可以在多项式时间
V是一个字母表。FV是V上的一个自由半群,R是FV的一个子集。首先,提出了(V,R)-半群的概念,证明了图半群和有向图半群都是(V,R)-半群。其次,提出了超图半群的概念,证明了超图半
根据树搜索算法和时隙Aloha算法思想,提出了一种基于维码数的自适应混合防碰撞算法。针对RFID系统中同个阅读器可读范围内多个标签的碰撞问题,新算法先根据标签位数进行自适应分维,通过检测碰撞位,对不同维码数的标签组采用不同的策略推算标签维ID序列。算法还引入了维码数堆栈,减少了不必要的空闲时隙。仿真实验结果表明,新算法搜索次数较传统算法减少了75%,搜索深度减少了50%,提高了系统性能。