沈雷
- 作品数：3 被引量：7H指数：1
- 供职机构：华东计算技术研究所更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于覆盖测试的嵌入式软件自动裁剪被引量：6
- 2010年
- 针对软件移植嵌入式平台时的裁剪问题,提出一个通用的、自动化的裁剪方案。该方案基于覆盖测试思想,利用源代码静态分析技术,在每个函数的首尾插入桩代码,通过执行已插桩的程序,动态地获得函数的覆盖信息。根据函数的覆盖信息,能对软件进行自动化的裁剪。该裁剪方案可以将软件体积减少30%左右。
- 蔡虹沈雷李永红
- 关键词：嵌入式软件插桩裁剪
- C/C++软件测试工具的元数据结构设计与实现被引量：1
- 2008年
- 针对用C/C++语言进行的语义分析,设计一种中间结构,即元数据结构。元数据结构实现了源代码的语义层次上的抽象,通过元数据结构和相关应用语义配置,过滤出源程序中符合应用的语义内容,实现软件测试工具的程序插装等功能。在中间结构实现过程中,构造一个二次解析引擎,以解决传统解析方法的复杂性及不确定性,实现对各种编程语言的支持。
- 沈雷李翔邵培南
- 关键词：软件测试语义层次元数据结构
- 嵌入式软件测试工具中间结构的设计与实现
- 2010年
- 实现一种实时嵌入式软件测试工具的中间结构,描述中间结构的生成、存储、转换过程,给出生成类继承图、生成控制流图的实现代码。设计一个针对C/C++的解析器,对源码进行预处理,以实现由源码生成中间结构,并利用XSLT技术实现中间结构为后端应用提供的接口。
- 李晓龙陆建华沈雷罗西严少清
- 关键词：嵌入式软件测试XSLT
