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

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

Petri网模型在智能型电话管理系统开发中的应用

基于Petri网模型的智能仪器监控软件设计方法是一种新型的软件设计方法。运用该方法 ,在对智能型电话管理系统中的内部因素和外部因素综合分析的基础上 ,结合Petri网模型理论 (Petri -net-modeltheo ry) ,找到了智能仪器监控软件的形式化描述技术和数学化设计方法 ,给出了其工程化的解决方案。工程应用实践表明 ,Petri网模型及其在智能仪器监控软件设计中的应用是可行而成功的。     

基于飞行程序的测控软件调度模式及其实现

在分析测控软件调度基本需求的基础上，提出基于飞行程序的测控软件调度模式用以提高地面操作的自动化程度，讨论了该调度模式实现中的关键技术和解决途径。     

多窗口传输协议及其在航空电子系统大数据传输中的应用

随着航空电子系统模块化技术的发展,系统内大数据传输的需求越来越明显,现有的几种大数据传输方式或需要更改现存系统架构,或需要系统具有特定功能支持,难以在不同的航空电子系统中进行广泛应用。为解决这一问题,本文提出一种可在系统应用层中实现的多窗口传输协议及其实现方法。该协议使用额外的资源同时进行多窗口信息传输,保证了在机载网络不稳定环境下传输的速率和稳定性,满足系统大数据传输的需求。而且方法在应用层实现,避免了对系统现有硬件和软件架构的更改,适用范围较广。     

计量测试软件验证方法研究

在分析计量测试软件的软件测评与计量验证区别的基础上,应用软件测试的基本原理,提出了计量测试软件的计量验证方法。应用提出的方法对铂、铜热电阻自动检定软件系统进行了计量验证,并对存在的问题进行了讨论。     

面向对象软件在工具辅助下确认测试的方法与实践

以某一型号综合测试管理软件的确认测试为例 ,阐述了在TESTBED软件测试工具辅助下 ,对面向对象的软件进行确认测试的实践活动     

测试发射控制软件确认测试环境的实现

测试发射控制软件确认测试环境以某型号的测试发射控制软件为对象 ,采用基于功能的测试方法和确认测试技术加以实现。本文介绍了被测软件的体系结构和运行环境 ,阐述了被测软件确认测试方案的设计思想及测试环境的具体实现     

面向对象框架在大型MIS系统开发中的应用

采用面向对象框架技术开发大型ＭＩＳ系统,在降低开发成本和提高系统的可维护性方面具有明显的优势。本文以某热电公司的ＭＩＳ系统（ＨＸＭＩＳ）为实例,详细阐述了这一开发过程。     

遥测数据仿真系统的设计和实现

针对遥测数据种类的多样性和处理方法的复杂性给软件测试带来的问题,对遥测系统基本工作原理、遥测格式、遥测处理方法进行了深入研究,设计和实现了一个适合不同遥测系统评测的遥测数据仿真模型。该模型的设计和实现使测试软件具备良好的可扩展性和可重用性,缩短了软件测试周期。     

示波器自动检定系统的设计

介绍示波器自动检定系统的组成及原理框图,系统软件设计及特点。