软件质量及其度量准则

几乎所有的软件开发者都同意软件的质量是至关重要的,但并不都知道如何使软件具有高质量。在软件工程中,对这个问题的研究已形成了一个分支——软件质量保证。软件质量保证是为使软件产品符合规定需求所进行的一系列有计划的工作,它贯穿于软件的全部开发过程。许多研究表明,开展软件质量保证对于开发者和最终用户都是有益和合算的。下面数据可以说明这一点: a.开发部门在软件维护方面的工作量逐步上升,已占全部开发工作量的50%到80%。 b.在软件生命期中用于发现和纠正软件错误的成本以几何级数的速度上升。对于纠正同一个错误,在维护阶段所花的成本要比在分析阶段所花的成本高10倍以上。     

某型随动系统传动链结构刚度问题研究备

在某型随动系统调试过程中，系统终端负载的高低指向角出现震荡现象．经分析，高低传动链路结构刚度不足导致了终端负载的高低指向角震荡．本文对该系统的高低传动链路结构刚度进行了分析研究工作，并给出了优化方案．     

飞行员操作程序的形式化描述

本文提出用状态转移表这种形式化方法描述飞行员操作程序,并在此基础上开发了POP测试用例标准解生成软件。用形式化方法描述飞行员操作程序,可以向系统软件设计者提供完备的、一致的和严密的软件需求规范,可用软件工具进行自动处理。     

软件工程与新一代航空电子系统软件

70年代美国DAIS计划是数字式航空电子综合系统的革命性开端,80年代的PavePiller计划和90年代的Pave Pace计划则是在更高程度上和更大范围内进行航空电子综合。在西欧,以航空电子系统为主要内容的研究计划是EAP(Experimental AircraftProgram),随后是比EAP规模大一个数量级的Eurofighter。发达国家如此重视航空电子系统的研究,是因为它对新一代飞机的紧要性日益增长。 我国从80年代初开始研究航空电子综合系统,目前已基本完成相当于DAIS水平的预先研究,正在转向型号应用。现实状况和发展趋势都表明,应把探索新一代航空电子系统的问题列入议事日程。     

航空电子软件的发展

本文评述在开发基于软件的航空电子系统时代计划到实现中与软件有关的关键问题所需的基本原理和方法，以便能满足预定的进度和预算。本文指出现在和将来的可促进开发过程的关键软件技术，还概述了崭露头角的模块化航空电子体系结构所产生的软件的本质。本文的中心论题是应该把系统和软件的产生过程放在尽可能形式化的理论基础之上。这样能有效地对付处于“危急关头”的基于软件的航空电子系统的复杂性。     

Ada程序的验证测试

本文简述了Ａｄａ程序验证的一些经验，着重讨论了静态代码审查和模块测试。     

航空电子软件接口的标准化

讨论了与航空电子软件结构组成相关的接口标准化问题 ,说明了实时执行软件是实现应用软件接口标准化的重要基础 ,应大力提倡开发和推广具有自主版权的实时执行软件。     

航空机载设备的软件文档种类要求

软件文档是航空机载设备软件的重要组成部分。应遵循适用的标准来规定航空机载设备的软件文档种类要求。应普遍重视软件编码标准和软件配置索引这两种文档，而通常规定的用户手册则不是必需的。     

假如使用Ada语言

介绍了Ada语言的应用现状及其前景,并通过一项实验说明Ada语言比C语言更适合于航空电子软件开发。