基于CMMI的软件测试项目过程管理

针对独立的第三方软件测试项目特点,运用基于CMM I的软件项目管理方法,将需求管理、测试项目策划、项目监督与控制、质量保证和配置管理要求贯彻在软件测试过程中,给出了软件测试项目过程管理解决方案。该方案保证了软件测试项目的质量,提高了测试项目的技术水平和管理水平。     

基于模型的系统工程概述

由于航空领域涉及的系统日益高度复杂,为更好推进基于模型的系统工程(Model Based System Engineering,MBSE)研发体系,通过从当前遇到的问题、推行基于模型的系统工程的必要性、优势、未来的挑战等方面进行了较为详细地阐述.基于模型的系统工程研发体系具有知识表示的无二义、系统设计的一体化、沟通交流的高效率等优势,是未来发展的大趋势.     

K8V变稳飞机飞行试验验证系统

介绍了Ｋ８Ｖ变稳飞机飞行试验验证系统的组成及功能,分别阐述了该系统的飞控软件综合验证子系统、机上地面试验数据采集与处理子系统和飞行试验数据处理分析子系统等三部分的组成、工作原理、以及在飞行试验各个阶段的不同特点和作用。通过Ｋ８Ｖ变稳飞机飞行试验的应用,表明该系统能够满足变稳飞机的软件维护、系统验收试飞及后续的应用研究,具有实时,快速,准确,自动化等优点,可为Ｋ８Ｖ变稳飞机应用研究提供重要的支持手段     

软件体系结构的探讨

软件体系结构是软件工程中的一个新兴研究领域,它与软件工程技术的发展有着密切的关系。首先,从软件工程技术的发展了解软件体系结构研究的必然性;然后,给出软件体系结构的概念描述,介绍有关体系结构研究的内容;最后,举出一个实例。     

卫星公用平台成熟度研究

介绍了国内外成熟度评估体系的发展情况,提出了平台配套单机产品成熟度等级分布、平台内/外部接口控制能力等用于评价卫星公用平台成熟度的6项要素。建立了用于表征卫星公用平台从原理平台开始,逐步进阶为有可靠性保证的多型号通用平台全过程的6级成熟度模型。最后分析了成熟度在指导平台系列化发展与平台快速成熟中的应用前景。     

坐标测量机的验收检测标准及校准规范的再探讨

发现GB/T 16857 eqv ISO 10360《产品几何量技术规范(GPS)坐标测量机的验收检测和复检检测》及JJF 1064—2004《坐标测量机校准规范》存在的不足。提出在GB/T 16857 eqv ISO 10360系列标准中增补测量软件包的质量要求和测试标准的建议。以实现对测量软件质量的评价,达到测量机性能的全面验收检测。     

航天工程地面测控软件的软件生存周期模型

软件生存周期模型(Software Life Cycle Model)是用于描述软件从开始研制到退出应用全过程中,各种活动如何执行的范化模型。对于航天工程地面测控软件,瀑布模型、演化模型、螺旋模型、原型模型等传统模型往往不能非常有效地适应其特性,存在一定的困难和问题。本文结合这些经典软件生存周期模型,在分析航天工程地面测控软件高可靠、需求易变等特点的基础上,提出了更具针对性的生存周期模型——构造增量模型。     

航天器系统方案设计模式研究

航天器系统方案设计是航天器系统工程研制的关键阶段工作,直接决定了航天器的综合性能及研制成本。分析了当前系统方案设计模式存在的问题;根据航天器系统工程的特点及要求,提出了系统方案设计模式改进的原则与思路;重点从组建专职系统方案设计项目组、改进系统方案设计工作管理、完善系统方案设计过程方面,研究探讨了系统设计模式改进方案。     

一种高速可靠的大体量星载软件重构方案设计

随着星载软件的复杂度与体量不断增加,对软件在轨重构并进行更新维护的功能愈发重要。当软件越来越大时,使用低速通道进行重构的方案在时间上难以满足在一个测控弧段内重构软件的需求。同时,大软件使得数据存储空间更为紧缺,无法使用三模冗余等传统方法保证程序数据的可靠安全。因此,本文提出了一种使用高速通道的可靠的大体量星载软件重构方案。以固化在PROM （可编程只读存储器）上的引导监控程序作为根本保障,构建一个存于MRAM （磁随机存储器）上专门用于高速重构软件的安全模式程序作为方案核心,并给星载软件加入自重构功能作为最常用的重构方式。通过地面测试与在轨实验表明：该方案能够保证大体量软件重构功能的高速度与高可靠性,让星载软件的更新与维护更加安全与便捷。     

基于过程工程的航空企业建模技术研究与实现

 通过研究国内航空企业建模的需求,探讨现有企业建模方法的不足,提出了基于过程工程的航空企业建模方法。首先针对航空企业的特点,尤其是考虑到航空军工企业对信息安全性的要求,给出了一个六元组表示的航空企业模型,并对航空企业模型的信息安全子模型进行了详细描述;然后研究了基于过程工程的航空企业建模的实现技术,包括企业模型体系、企业建模支持系统等。建立基于过程工程的航空企业模型,以模型为驱动,为航空企业信息系统的建立、实施和重构提供了基础和依据,适应了航空企业对企业模型动态响应性和信息安全性的要求。该研究成果已成功地应用于某大型航空企业两种型号飞机的研制,实践证明所提出的方法是可行和有效的。