王伟
- 作品数：2 被引量：23H指数：1
- 供职机构：中国工程物理研究院计算机应用研究所更多>>
- 发文基金：中国工程物理研究院科学技术发展基金更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 上下文不一致性缺陷的检测
- 2015年
- 为了检测在软件开发过程中由拷贝-粘贴操作引起的上下文不一致性缺陷,在基于频繁子序列挖掘算法的克隆代码检测模型基础上,改进上下文不一致性缺陷检测过滤规则,对上下文结构类型不一致性和上下文条件谓词不一致性两种缺陷进行了检测。为了识别具有相同语义但不同语法结构(即语法树表示)的表达式,还增加了对生成的表达式语法树的标准化处理。开源代码上的实验结果表明,该模型对拷贝-粘贴操作引起的上下文不一致性缺陷具有较低的误检率,不存在漏检,尤其适用于安全攸关的软件系统。
- 王伟刘渊张春瑞文平谢家俊
- 关键词：克隆代码软件缺陷检测
- 一种基于遗传算法的Fuzzing测试用例生成新方法被引量：23
- 2017年
- 本文根据传统漏洞挖掘Fuzzing技术的特点,针对其存在的不能求解非线性解和只能有单个的输入的问题,提出了一种基于遗传算法的漏洞挖掘测试用例生成的新方法.该方法能够利用遗传算法的优势,同时可以应对多输入测试用例问题和非线性求解问题.从自测程序的结果看出,相比于传统随机生成Fuzzing测试用例的方法,本方案在效率和覆盖率方面具有明显的提高.
- 刘渊杨永辉张春瑞王伟
- 关键词：遗传算法
