加强软件质量控制,提高军用软件的可靠性水平

针对军用软件在质量和可靠性方面存在的问题，提出了提高军用软件质量和可靠性的措施和方法。     

软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

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

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

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

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

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

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

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

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

基于LDRA Testbed的软件单元测试

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

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

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

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

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

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

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