国防科技技术预先研究基金(513150601)
- 作品数：2 被引量：1H指数：1
- 相关作者：戴一奇刘强王春雷赵刚卢炎生更多>>
- 相关机构：北京系统工程研究所清华大学华中科技大学更多>>
- 发文基金：国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于非结构化控制流的进化测试方法
- 2009年
- 结构性测试中,进化测试是一种高效的自动生成高质量测试用例的技术。然而,当程序中出现非结构化特征时,在面向节点的测试标准下,其效率极其低下甚至不及随机测试生成方法。在考虑循环体内部出现跳转(goto、return)语句的情况下,提出了一种适应度计算方法。该方法在结合传统进化测试适应度计算的基础上,充分考虑了循环次数对于进化搜索的影响。实验结果表明,本适应度函数可以很好地引导进化搜索,并以较小的代价生成测试用例。
- 江胜卢炎生
- 关键词：进化测试适应度
- 一种基于模型检测的二进制程序脆弱性分析框架被引量：1
- 2010年
- 针对二进制程序脆弱性分析的实际需求,提出了一种基于模型检测的二进制程序脆弱性分析框架。首先定义了二进制程序的抽象模型,描述了基于有限状态自动机的软件脆弱性形式化表示和基于事件系统的软件安全属性表示方法。在此基础上,提出了基于模型检测的脆弱性分析过程和算法。根据该分析框架,设计并实现了二进制程序脆弱性分析工具原型。通过脆弱性分析实验,详细说明了该框架的工作原理,验证了该分析方法的有效性。
- 王春雷刘强赵刚戴一奇
- 关键词：二进制程序脆弱性分析形式化方法
