航天系统软件测试的质量控制

分析了软件测试质量控制要素，并给出了提高软件测试有效性的系统方法。该方法在长征2F运载火箭故障检测处理系统软件测试项目中发挥了重要作用。     

故障模式判决软件测试用例设计

本文阐述了运用故障树分析原理进行故障模式判决软件测试用例设计的新方法，在此方法基础上，综合等价类划分方法，完成了软件测试用例辅助生成软件的设计。     

嵌入式软件自动化测试平台的研究与实现

随着嵌入式系统的广泛应用,对其软件进行完善而又高效的测试成为必须.本文提出了一种联系宿主机和目标机的自动化测试平台.该平台分为宿主机端的测试管理和目标机端的测试代理,实现了代码自动插装、脚本自动化批量执行、功能测试、分支覆盖、数据通信和测试结果报告生成等功能.     

基于DO一178B的结构覆盖分析研究

结构覆盖分析（SCA）是基于DO一178B的软件验证的重要组成部分。由于DO一178B仅提出目标活动要求,不提供具体的工程技术方法,如何进行结构覆盖分析是困扰国内航电软件开发和验证的一大难题。通过与国外航电设备厂商的多年的软件国际合作,以及对DO一178B软件结构覆盖分析具体要求的深入研究,提出了一个结构覆盖分析过程和具体的实现方法。在多个软件国际合作项目中的实际应用表明,的研究成果满足DO一178B结构覆盖分析的要求。     

基于LDRA Testbed的软件单元测试

通过对LDRA Testbed的分析及采用LDRA Testbed进行软件单元测试,表明LDRA Testhed是一个可以有效应用于软件开发和测试阶段的软件测试工具,使用LDRA Testbed进行软件单元测试可以有效提高软件质量.     

实时软件测试管理的设计与实践

由于实时软件设计的特殊性,测试就显得尤为重要.加强对测试的管理,才能保证软件的质量.本文介绍了实时软件测试管理的概念、流程、方法、策略以及具体的实现.     

软件质量管理的重要环节——软件测试

本文主要介绍了大型软件开发项目申的质量保证和系统测试的组织和实施的一般性方法，并介绍了首都国际机场一号航站楼改造工程的软件系统开发申软件质量保证的实施经验。     

Ada软件性能检测技术研究及工具的实现

介绍了一些软件的性能检测技术和检测工具，并对它们的实用性和适用性进行了讨论然后，着重讨论了Ａｄａ软件系统的并行机制，并详细分析了与软件的性能密切相关的语法现象，从而设计出合理的处理方法。     

全数字仿真测试环境在星载嵌入式软件测试中的应用

利用全数字仿真测试环境对嵌入式软件进行测试,是一种有效的测试方法.通过在PC机上仿真模拟嵌入式软件的外围接口设备,可以快速搭建仿真测试环境,在软件研发阶段即可同时引入测试,同时,可以利用自动比对技术,实现数据输出的正确性判断,提高测试效率和软件质量.