摘要：计算机软件在装备产品中占重增大,软件质量对装备产品可靠性起着决定作用,软件测试可以确保软件质量,通过配置项级别的软件测试,可以发现较多软件缺陷。并结合软件配置项测试经验,分析了在配置项测试方法设计、测试环境分析及测试用例执行方面的策略。

摘要：随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.

摘要：软件配置管理是CMM的一个关键过程域,是软件开发过程的重要过程之一,是一套按规则管理软件生命周期全过程中各种中间软件产品和最终软件产品的方法和技术.随着我国航天事业的飞速发展,对航天测控软件的质量要求也越来越高,为此,我们开发了针对航天测控软件系统的软件配置管理工具(SCMT).本文介绍了软件配置管理的基本概念和SCMT中的数据库系统的设计和实现思想.

摘要：介绍了软件配置管理的概念,从其组织层次、形式、任务、技术状态和管理工具等方面对软件配置管理活动进行了分别论述;阐述了软件配置管理流程中必须建立的活动步骤、入库文档以及对它们的具体要求;指出了软件配置管理是保证软件质量和提高软件产品生产效率的重要手段;最后给出了一个可操作的例子。

摘要：软件配置管理是一套规范、高效的软件开发管理方法,它能提供工作空间管理、并行开发支持、过程管理、权限控制、变更管理等一系列的管理能力,是提高软件质量的重要手段。设计了一个基于贝叶斯的软件配置管理模型,并详细阐述了该模型的核心技术和关键机制。