侯成杰
- 作品数：10 被引量：22H指数：3
- 供职机构：北京控制工程研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- C语言嵌入式软件插桩及动态测试覆盖率信息提取方法
- C语言嵌入式软件插桩及动态测试覆盖率信息提取方法，把C语言程序看做一个由各分支点组成的数组，每一个分支点对应数组中的一个元素，每个元素定义为两种状态，“1”表示执行过，“0”表示未执行过。然后将数组定义在专用存储区。随后...
- 侯成杰董燕郝伟吴瑾郭华王翼山
- 文献传递
- 一种51汇编语言软件安全性编码规则自动检查方法
- 一种51汇编语言软件安全性编码规则自动检查方法，首先确定针对51汇编语言的安全编码规则。然后将源代码按照统一格式重新排版，进行分离代码和注释、提取独立的单词助记符。随后在重新排版的源代码上增加子程序开始和结束标识，然后从...
- 侯成杰武占峰段永顥李鹏宇欧阳高翔常江
- 文献传递
- 一种用于检测中断驱动型程序数据竞争的系统
- 本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模...
- 陈睿郭向英段永顥张西超侯成杰董燕于志杰魏鹏吴瑾武占峰张金巍曾霞左万娟
- 国外航天软件故障原因分析被引量：6
- 2012年
- 介绍了包括阿里安-5火箭、"火星气候轨道器"、"火星极地着陆器"在内的几个国外航天器和运载器发生的在轨故障,并从技术和管理方面分析了这些故障中与软件相关的原因。针对技术方面,分析了国外航天软件研制过程中在软件需求分析、软件复杂度、软件重用、软件安全性设计准则、质量保证及评审、系统安全性设计、测试及仿真环境缺陷等方面存在的问题;针对管理方面,分析了责任和权力划分、沟通渠道等方面存在的问题。文章最后给出了美国国家航空航天局专家针对这些问题提出的改进建议,提出了针对我国航天软件研制过程的启示和建议,如加强团队之间的沟通,提高评审效率。
- 侯成杰
- 关键词：航天软件故障
- 航天器C语言软件常见编程错误分析及检测方法研究被引量：4
- 2013年
- 基于软件第三方评测发现的问题,梳理并详细分析了在航天器C语言软件中6种常见编程错误.针对其中的软件安全漏洞提出了使用代码分析技术的检测方法,针对编程语言使用错误提出了通过制定编程规则并使用代码分析方法进行检测的解决方法.采用上述方法可以有效检测出上述6种常见编程错误,并可以用于检测软件的其他严重错误.
- 侯成杰
- 关键词：C语言软件安全漏洞代码分析
- 一种用于检测中断驱动型程序数据竞争的系统
- 本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模...
- 陈睿郭向英段永顥张西超侯成杰董燕于志杰魏鹏吴瑾武占峰张金巍曾霞左万娟
- 文献传递
- 航天器软件参数修改的测试策略研究被引量：2
- 2013年
- 梳理了现有的回归测试策略,并结合航天器软件参数修改错误的2个实例分析,提出了一种新的回归测试策略。该策略借鉴回归测试用例集约简算法中的需求驱动方法,提出了基于构建程序-需求覆盖矩阵和测试用例-需求覆盖矩阵进行回归测试的方法,并给出了按照该策略实施软件参数修改测试的流程。最后,提出了将该测试策略工具化的设想,如研发代码变更影响域自动分析工具,或者使用已有的商用工具。
- 侯成杰
- 一种基于更动影响域分析的回归测试方法被引量：3
- 2013年
- 为减少回归测试成本、提高效率,提出了一种基于更动影响域分析的回归测试方法,详细说明了更动类型,并针对每种类型提出了对应的影响域分析策略.研究表明,该方法技术指导性好,易使用,提高了回归测试的充分性,进一步保证了测试质量.
- 董燕侯成杰邱芳
- 卫星可靠性技术—计算机辅助可靠性分析被引量：2
- 2002年
- 介绍了自行开发的计算机辅助可靠性设计和分析软件(ＣＣＡＲＳ)的特点及其应用。ＣＣＡＲＳ软件的主要功能包括可靠性建模、预计与分配,故障模式影响分析及故障树分析等几项常用的可靠性分析功能。它们既可作为单一功能的软件独立运行,又可统一于软件包整体框架下使用。本文对各功能的特殊性作相应介绍,并阐述设计过程中的关键技术。最后介绍了ＣＣＡＲＳ在航天及核工业等领域的应用。
- 侯成杰刘璟炜朱北园
- 关键词：可靠性分析计算机辅助分析卫星
- 航天器C51语言软件中断资源冲突分析方法被引量：7
- 2015年
- 对航天器C51语言软件中常见的3种中断资源访问冲突情况进行了归纳总结.由目前软件资源冲突分析方法的比较结果,提出基于静态分析技术的C51语言软件资源访问冲突分析方法,并针对上述情况给出了具体分析流程.该方法可以解决多种C51语言软件中断资源访问冲突问题,也可以推广到其他处理器.
- 侯成杰
- 关键词：C51语言资源冲突
