国家自然科学基金(F020208)
- 作品数：3 被引量：13H指数：2
- 相关作者：侯成杰更多>>
- 相关机构：北京控制工程研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 航天器软件参数修改的测试策略研究被引量：2
- 2013年
- 梳理了现有的回归测试策略,并结合航天器软件参数修改错误的2个实例分析,提出了一种新的回归测试策略。该策略借鉴回归测试用例集约简算法中的需求驱动方法,提出了基于构建程序-需求覆盖矩阵和测试用例-需求覆盖矩阵进行回归测试的方法,并给出了按照该策略实施软件参数修改测试的流程。最后,提出了将该测试策略工具化的设想,如研发代码变更影响域自动分析工具,或者使用已有的商用工具。
- 侯成杰
- 航天器C51语言软件中断资源冲突分析方法被引量：7
- 2015年
- 对航天器C51语言软件中常见的3种中断资源访问冲突情况进行了归纳总结.由目前软件资源冲突分析方法的比较结果,提出基于静态分析技术的C51语言软件资源访问冲突分析方法,并针对上述情况给出了具体分析流程.该方法可以解决多种C51语言软件中断资源访问冲突问题,也可以推广到其他处理器.
- 侯成杰
- 关键词：C51语言资源冲突
- 航天器C语言软件常见编程错误分析及检测方法研究被引量：4
- 2013年
- 基于软件第三方评测发现的问题,梳理并详细分析了在航天器C语言软件中6种常见编程错误.针对其中的软件安全漏洞提出了使用代码分析技术的检测方法,针对编程语言使用错误提出了通过制定编程规则并使用代码分析方法进行检测的解决方法.采用上述方法可以有效检测出上述6种常见编程错误,并可以用于检测软件的其他严重错误.
- 侯成杰
- 关键词：C语言软件安全漏洞代码分析
