航电设备软件系统测试过程研究

嵌入式软件广泛应用于航空电子设备中,对其进行全面的系统测试是提高软件质量的十分有效的途径.首先分析了航电设备软件进行系统测试的特殊性,而后针对其特点提出了一种有效的系统测试工程化方法,并详细地阐述了方法中的每一个操作步骤,最后对这种方法的特点进行了总结并说明了本方法在实际应用中的效果.     

综合模块化航空电子软件测试环境

分析了综合航电软件特性和体系结构,总结了软件测试需求。对综合航电软件测试环境进行了初步研究,提出了具有三层软件体系结构的仿真测试环境,能够满足综合航电软件的测试需求。通过基于任务的测试仿真模型与测试配置蓝图,能够解决实时测试数据激励与收集和动态测试配置的关键技术。通过原型系统的测试,验证了测试环境软件体系结构的应用性和正确性。     

综合航电系统故障处理机制研究

故障处理是综合航电系统的一项关键技术,关系到综合航电系统甚至战机的安全性、维修性和可靠性等诸多方面.总结概括了综合航电系统的特点,分析明确了其对故障处理的需求.针对机上实时故障处理的要求,采用分层处理、统一管理的策略,设计了一种分层的故障处理机制——从设备层、综合区域层和航电系统层三个层次分别进行故障处理的流程设计和所需的蓝图设计,并对故障处理各个阶段采取的策略进行了说明和讨论.最后,就下一步需要研究和解决的问题进行了探讨.     

一种星载软件系统测试环境的设计

系统测试在卫星星载软件的测试中起着重要作用。系统测试强调软件运行环境的真实性,因此测试环境的建立是进行系统测试的难点,也是决定软件系统测试效果的关键因素。这里介绍了一种星载软件系统测试环境的设计方案,它由一套高性能的硬件设备和自动化测试软件组成,能够自动完成星载软件功能和部分性能的测试,支持对性能、余量等的手工测试,该系统已在多颗卫星上得到了应用,效果较好。     

面向航电软件测试的建模描述语言研究

针对航电嵌入式软件仿真测试的特点,阐述了仿真测试过程中建模的要求和模型的结构与特性,在此基础上,设计并实现了一种面向航电软件测试的建模描述语言(STMDL).对STMDL的语法语义和描述规则进行了详细介绍,并阐述了该建模描述语言的特点和工程应用.     

综合航电系统健康管理体系结构设计

健康管理体系结构是军用综合航电系统的重要组成部分,关系到综合航电系统和战机安全性、生存性、维护性等多方面.概述了综合航电系统的结构组成,剖析了健康管理的内涵.通过论述系统、环境和人对系统失效行为的影响,归纳了系统失效类型,明确了健康管理体系结构设计的三方面需求.在此基础上,提出了一种新的健康管理体系结构,并完成了机载部分和地面部分的基本结构设计,分析了系统健康信息处理流程,最后就下一步要研究的问题进行了探讨.     

综合航电分区间通信元模型设计研究

针对当前综合模块化航空电子系统（IMA）开发中存在的问题,提出一种基于特定领域建模的综合航电分区间通信元模型的设计开发方法。通过分析航电系统分区间通信原理,抽取分区间通信的特性,采用基于面向特定领域的元建模分析方法,构建了综合航电分区间通信的元模型,通过元模型解析器生成了面向领域的建模语言,通过模型解释器将应用模型自动生成系统通信配置文件。以模块内部两分区间通信系统为实例对象进行了验证,结果表明该建模语言,具有较好的可理解性、易用性,可显著提高航电系统的开发效率,为基于元模型的综合航电系统建模方法奠定基础。     

综合航电开放式软件设计技术

综合航电开放式软件设计技术是新一代航电系统支持平台机载实时容错分布式计算机系统的重点,它的设计直接或间接地关系到新一代综合航电系统的性能和成本.针对先进综合航电系统的特点、性能要求,对目前机载计算机软件系统存在的可靠性、安全性低,不易移植,成本高,层次分割不清晰,功能独立性差,对系统容错支持能力弱等缺陷,提出了"三层栈结构"的软件设计新思想,通过标准接口(物理接口和逻辑接口)使得层与层,模块与模块之间得以分开,实现了功能模块化、软硬件隔离性、软件的再利用性、可剪裁性、易维护性,以适应不断增长的航空电子系统任务能力需求,为新一代航电系统支持平台机载实时容错分布式计算机系统的开发、研制提供了可靠的保证.     

基于特定领域建模的综合航电分区级元模型研究

针对当前综合模块化航空电子系统（IMA）开发中存在的问题，提出了一种基于特定领域元模型的综合航电分区级系统建模方法。通过分析提取航电系统分区内核对象特性及相互间联系，采用基于面向领域的元建模分析方法，构建了综合航电分区级通信的元模型，通过建模工具将元模型解析生成了面向领域的元建模语言。通过实例分析验证，该建模语言接近ARINC653标准对于分区内核对象的定义，具有较好的可理解性、易用性，可显著提高航电系统的开发效率，为基于元模型的综合航电系统建模方法奠定基础。     

综合航电实时测试系统的软件设计与实现

针对综合航电系统的信号特征和测试需求,设计并实现了用于综合航电地面交联试验的实时测试系统;同时对航空总线信号、各种功能信号进行测试、分析和故障诊断,在测试软件的设计和实现过程中运用了多线程编程技术,阐述了在Labwindows/CVI环境下多线程的实现过程;最后对该系统的测试结果进行了分析,测试数据与测试实时性均满足测试需求。     

集成化的软件测试支撑环境INSENST

本文提出了一个集成化的软件测试支撑环境INSENST的设计思想,并对INSENST的初步设计及详细设计方法进行了深入的讨论。     

基于网络的软件测试工具的研究

软件测试是保证软件质量的重要手段,良好的软件自动化测试工具是开展软件测试的基础,在提出基于网络的软件测试工具的基础上,对测试工具的体系结构、功能和特点作了详细描述,最后对测试工具的优缺点进行了总结。     

基于系统功能测试的软件自动化测试可行性分析

本文基于软件自动化测试的特点和项目的实际需要,比较传统的手工测试和自动测试两种方法,介绍了如何进行软件自动化测试可行性分析。重点基于项目的系统功能测试,讨论软件自动化测试的收益问题,最终得出影响软件自动测试可行性程度的因素。     

近期软件测试方法分析

软件测试是提高软件可靠性的有效手段,同时也是贯穿于整个软件生存期的活动,不同的软件生存阶段有不同的测试内容及方法。本文按照软件的开发顺序对近几年国际新发展的软件生存期各阶段的测试活动和测试方法进行分析和介绍中,旨在为国内的软件人员开阔视野,提供有益的信息。     

软件测试管理的研究与应用

随着计算机的广泛应用和计算机科学技术的不断发展，计算机系统的组成也相应发生了许多变化，计算机软件的主导作用愈加明显。软件工程的进一步发展，给软件测试及测试管理带来很大帮助。本文简要介绍了软件测试管理的概念、计划、活动、功能、周期、工作量模型及其应用。     

GM-2测控系统软件设计

GM-2测控系统软件是为一种飞行器地面测控系统嵌入式计算机所开发的专用软件,具有对被测对象的测试、控制、仿真、记录等功能。其测试数据、曲线图表和指示结果是分析判定被测对象性能的重要依据。     

ABC95阵列机系统软件的研究与实践

本文以通用计算机系统软件为基础,对专用阵列计算机ＡＢＣ９５的系统软件进行探讨与实践,它根据ＡＢＣ９５阵列机体系结构的特点,对通用计算机的系统软件进行适当的修改和扩充,并在保持主机操作系统框架及高级程序设计语言不变的基础上,着重研究了主机－目标机之间的接口软件和目标机的程序设计环境和执行环境．这种借助现有软件为专用机开发系统软件的方法,大大地简化了问题处理,缩短了系统的开发周期．