模型开发在型号软件研制中的应用研究

针对模型开发技术的技术特征,通过对模型开发方法中的模型建模、模型模拟、模型仿真及模型覆盖分析等技术的研究,结合型号软件工程实践,对模型开发在型号软件研制中的应用在体系、过程及文档方面面临的问题进行了分析,从与现有体系规范及研制过程的符合性集成、模型软件测试鉴定以及与其他软件研制方法融合等方面,提出了与型号软件研制要求相符合的基于模型的开发过程方法,并介绍了方法的应用情况和前景。     

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

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

面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例，给出了一组规则来细化基于活动图的测试模型所表达的语义，同时也对活动图做了一些扩展，以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法，能够减少某些冗余的测试用例。     

基于软件过程对象模型的度量定义方法

CQM(Goal-Question-Metric)模型是一种面向目标的定义度量的方法，在软件过程度量中被广泛采用，同时也渐渐显露出它的不足。通过对软件过程对象模型和GQM模型的分析，提出了一种结合软件过程对象模型和GQM模型的度量定义方法，使度量的定义更具体。     

软件开发项目管理模式及过程量化

结合项目管理及软件工程等相关知识,提出了软件开发项目管理模式。为了对软件开发过程进行有效的管理,提出开发过程的可视性,进行了软件开发过程的全方位度量活动,以促使软件组织的自身过程能力不断得到改善,度量体系日臻完善。     

论武器装备软件研制的工程化管理

结合某飞机机载系统软件研制过程中工程化管理的做法和体会，讨论了软件工程化管理应注意解决好的一些问题。包括建立软件研制管理体系和责任分工、软件研制阶段的划分和质量监控、软件重要度分类、软件版本的控制和配置管理、软件第三方测试（即确认性独立测试）等方面。     

软件可靠性及其评估

软件可靠性性工程是一门与软件工程密切相关的可靠性工程新的分支学科。随着嵌入式计算机在战术导弹武器系统中的应用，人们已愈来愈重视软件可靠问题。本文在分析了软件可靠性特征和可靠性模型的基础上，通过实例介绍了软件可靠性测试软件可靠性评估的一些方法。     

软件开发过程中的项目管理

随着信息技术的飞速发展，软件应用范围越来越广，软件产品的规模也日益庞大，软件复杂度越来越高。传统“作坊式”开发模式已经不能适应大型软件的开发需要，大型软件项目必须按软件工程的开发模式，由团队共同协作完成。如果软件开发过程中缺乏统一有效的项目管理，将造成软件成本日益增长，开发进度难以控制以及软件质量差、软件维护困难等情况。因此，为了使软件项目能够按照预定的成本、进度、质量顺利完成，必须对软件开发过程实施项目管理，规范软件开发的过程。     

基于GJB5000A的型号软件设计过程的研究与实践

结合软件项目在GJB5000A三级的实践过程,针对软件开发过程中发现的问题,分析了型号软件项目研发的特点,总结出基于技术成熟度的软件工程化的实践方法,适用于型号软件工程化的普及和推广。在进行软件设计迭代时,每一次迭代实际上是技术成熟度的提升。对贯标项目如何达到GJB5000A的改进目的进行了探讨。     

软件可靠性控制及关键环节

以实例和统计数据说明了软件可靠性的重要性 ;阐述了软件可靠性的有关概念 (如软件工程、软件寿命分布、软件可靠性验证、软件过程等级等 ) ;介绍了软件方案设计阶段可靠性设计工作的主要内容和软件可靠性设计的主要措施 ,以及保证软件可靠性的几个关键环节。     

软件研制过程的管理

从软件工程化管理的观点出发,提出了做好软件研制过程的管理的几点设想、对规范软件研制全过程控制和把握软件研制过程管理几个关键环节进行了有益的探讨。     

软件工程系统论研究初探

基于一般系统论和工程系统论以及软件工程的特点提出了建立软件工程系统论的设想,并就软件工程系统论的研究意义、学科性质与体系、研究内容、研究方法等问题进行了初步探讨.工程系统论以各种各样的工程系统为其研究目标,其方法论体系适用于软件工程.创立软件工程系统论的科学体系及理论框架有助于切实贯彻系统科学和工程系统的基本思想,提升软件工程的研究起点,促进软件工程应用基础研究的系统化、严谨化和科学化.按照工程系统论提出的分类研究方法,可将软件工程系统初步分解为软件工程对象系统、软件工程过程系统、软件工程技术系统、软件工程支持系统、软件工程组织系统、软件工程管理系统等6大子系统.     

软件体系结构的探讨

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

民用飞机气动工程估算软件设计与开发

工程估算是飞机概念设计阶段常用的气动力计算方法,其计算效率高,并且满足飞机概念设计的精度要求。工程估算过程涉及大量的图表查阅与数据插值,传统的手动计算存在工作量与人为误差较大的缺点。针对上述问题,在已有工程估算方法的基础上,搭建了气动工程估算数据库,提出了软件的系统架构与组成,设计并开发了基于民用飞机的气动估算软件。软件具有良好图形用户界面,提供了多种输入方式与自动多维插值算法,与手动计算相比,减少了计算工作量,提高了计算效率和精度。以某大型民用飞机为对象,利用软件进行气动工程估算,并与算例的计算流体力学法(CFD)结果进行比较。结果表明:二者结果基本相符,而且计算成本远低于CFD方法。这体现了软件在民机概念设计阶段具有较高的工程实用性。     

浅析自动校准软件的测试

测试是自动校准软件开发的重要内容,也是保证自动校准软件质量的重要手段.运用软件工程的思想并结合国内校准实验室实际状况,着重介绍了自动校准软件测试的组织管理工作、方法和测试的一些原则.     

基于并行工程的航空嵌入式软件测试过程研究

航空嵌入式软件市场不断动荡与激烈竞争的局面对航空嵌入式软件测试提出了新的挑战,商业化的第三方软件测试面临着质量、进度、成本等问题,而良好的软件过程与持续的过程改进是解决这些问题的一个途径。从对并行工程的研究入手,将并行工程的方法运用到航空嵌入式软件测试实践中,寻求基于并行工程的航空嵌入式软件测试过程,用于解决以上问题。     

软件研发模式的路径依赖与路径突破

型号软件作坊式研发模式很难达到GJB5000A过程要求,软件工程真正要上台阶、上水平,会受到多种因素制约。作坊式研发模式构成了软件工程过程改进的"路径依赖",路径选择错误,沿着错误的路径向前走,走得越远,回到正确路径的难度越大。理想的解决方案是整个产品研发团队一起"贯标"。     

基于WPF的民机驾驶舱人机接口快速原型技术

新一代Windows呈现基础(WPF)技术以其丰富的界面表现力和功能扩展能力被广泛应用于图形处理和界面设计上。WPF技术应用于民机驾驶舱人机接口快速原型的开发过程中,将界面与逻辑的开发完全分离,提升开发效率,增强模型可复用性。基于此流程创建的人机接口快速原型可用于显示系统研发过程中的早期设计阶段,确认需求的合理性,优化人机接口设计,减少后期显示系统软件研制过程中的更改,缩短开发周期,具有重要的工程应用价值。     

软件自动测试过程改进技术研究

首先研究了当前软件测试工具一般采用的自动测试过程,然后根据当前自动测试过程中的瓶颈,针对对象式程序,设计了改进的自动测试过程,并讨论了改进的自动测试过程中关键步骤的实现技术。