钱杰
- 作品数：5 被引量：9H指数：2
- 供职机构：北京航天自动控制研究所更多>>
- 相关领域：自动化与计算机技术更多>>
- 飞行控制软件全数字仿真测试环境的搭建与应用被引量：6
- 2006年
- 全数字仿真测试环境是嵌入式软件测试的主要平台,从仿真对象上分为目标硬件环境和目标数据环境两个部分。文中详细阐述了利用数字芯片开发工具VTEST,搭建飞行控制软件全数字仿真测试环境的方法,并以某型号飞行控制软件确认测试为背景,介绍了全数字仿真测试环境的应用。利用全数字仿真测试环境能够进行软件功能测试、结构测试、边界值测试,具有较高的测试效率,提高了测试的自动化程度。
- 钱杰
- 关键词：软件测试测试环境
- 飞行控制软件测试用例辅助设计系统原型的设计与实现被引量：1
- 2005年
- BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分支的执行路径集合,从而辅助测试人员基于分支覆盖设计测试用例。BranchTCase采用纯静态技术,不依赖动态插装,通过扫描被测软件的源代码,得到软件的基本静态信息,并构造程序的执行流程图,最后遍历得到执行路径集合。本文阐述了BranchTCase原型的设计思路,讨论了其中的静态扫描分析、结构分析、分支结构遍历等主要算法。最后以某型号飞行控制软件为分析实例,得到了覆盖其所有分支结构的执行路径集合。
- 钱杰
- 关键词：软件测试
- TMS320VC33虚拟内核流水线仿真优化设计方法研究
- 2013年
- 搭建全数字仿真测试环境的关键是虚拟内核的研制。流水线仿真优化设计对虚拟内核运行效率的提高至关重要。本文研究了TMS320VC33虚拟内核流水线仿真优化设计方法,基于TMS320VC33流水线工作原理运用译码缓存策略和预译码策略对流水线仿真过程进行优化,并提出了一种流水线仿真优化设计整体方案。
- 孙逸峰王晓玲钱杰
- 关键词：TMS320VC33优化设计
- 80x86汇编语言安全性编码规则检查工具的设计与实现
- 2009年
- 从安全性角度提出80x86汇编语言程序的编码规则。通过分析航天型号典型案例,依据型号软件的应用特点,从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类,提出具体要求。设计了对应规则的检查方法和检查工具,采用静态分析方法,从软件源代码中提取安全性规则的相关元素,判断代码与规则的符合性,实现规则自动检查。
- 钱杰
- 关键词：软件测试汇编语言
- 飞行软件目标码测试软环境设计被引量：2
- 2010年
- 阐述了一种飞行软件目标码测试环境的设计方法。该方法基于全数字仿真技术,通过分析目标文件得到反映目标码和源代码映射关系的关键信息,结合动态测试的数据实现目标码测试覆盖率统计。最后通过应用实例验证了设计方法的可行性。
- 钱杰李中萍许春来
- 关键词：软件测试目标码数字仿真测试环境
