基于资源共享的分布式机载软件测试系统设计

随着装备软件系统的发展,越来越多的硬件功能软件化,装备软件的发展朝着高综合、高集成、一体化的趋势发展。目前航空航天装备软件中,嵌入式软件占据主导地位,相较通用计算机软件,嵌入式软件的测试具有面向特定应用,有实时操作系统支持,运行芯片和平台较为固定,并且需要特定的数字总线资源进行数据注入等特点。尤其对于复杂的,高度综合化模块架构的嵌入式软件系统软件测试,对于测试和验证系统的要求也越来越高,数据采集、数据记录、数据激励、数据监控、数据分析等各种测试和验证系统的需求也使得综合化软件测试验证系统结构越来越复杂,基于分布式架构的软件测试系统已经成为必然趋势。结合嵌入式综合化软件测试系统的功能要求以及测试系统的特点,提出了一种基于对等架构下的分布式测试系统设计,该设计不仅能够满足嵌入式软件运行平台规模的扩展,也能够在分布式架构下实现软件运行平台内部资源的共享。     

基于DAQ和FPGA开发星务软件测试平台

针对航天软件自动化测试和测试通用性要求的不断提高,提出基于DAQ（数据采集）和FPGA（现场可编程门阵列）的星务软件测试平台构建方案,在PXI（PCI eXtensions for Instrumentation,外设部件互联标准在仪器领域的扩展）系统环境下应用NI（美国国家仪器公司）的DAQ板卡和FPGA板卡实现星务软件外围数据的仿真模拟,应用Lab-VIEW编程实现信号的解析和良好的人机交互界面。在实际测试中,它能够很好地完成一系列星务软件的自动化动态测试、故障模拟测试等,大大缩短了测试周期,提高了测试效率。此平台完全满足航天软件现代化测试的要求,具有开发周期短、使用效率高、通用性强等优点。     

航空电子软件仿真测试环境软件体系结构研究

首先介绍航空电子软件的特点,分析航空电子软件测试对测试环境的需求,提出一种分布式仿真测试环境的软件体系结构设计.基于RUP模型,以不同视图系统地对航空电子软件测试环境的体系结构进行了描述.应用代理模式,解决了分布式测试环境节点间实时通讯的关键技术.据此设计和实现的分布式仿真测试平台系统DSTE V1.0已成功地应用于多个航空电子软件系统测试工程中.     

软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

基于GJB 5000B的装备软件全生命周期管控方法实践研究

基于装备软件管理现状，分析装备软件研制与管理过程中存在的需求管理不准确、软件测试不充分、配置管理不清晰、文档编写不规范等问题，按照GJB 5000B标准要求，充分借鉴最佳实践，开展装备软件全生命周期管控方法研究并实践，促进装备软件工程化水平的提升。     

重力测量稳定平台控制系统设计与实现

介绍了重力测量惯性稳定平台的系统工作原理.设计了一种基于DSP加FPGA架构的嵌入式控制系统.详细描述了控制系统的功能划分以及硬件实现.提出了电流、速度和位置三环回路控制方案.车载测试结果显示稳定平台能实现地垂线跟踪,验证了所设计控制系统的有效性.     

捷联惯性导航计算机综合测试平台的硬件设计与实现

导航计算机的功能及性能验证一般需要基于实际的惯性传感器来进行联调测试。为了便于导航计算机在实验室快速地开展性能验证工作,设计了一种面向捷联惯导革统算法及性能验证的惯性多传感器信息模拟综合测试平台。平台基于PCI 总线的PC/FPGA 的架构方案,对传感器信息进行硬件仿真,实现了多路、多类型惯性器件实时、同步输出。通过与真实导航计算机连接,测试验证了此半实物仿真测试平台信号输出的有效性。     

一种任务规划地面站软件自动化测试框架设计

任务规划地面站软件是保障飞机安全飞行的重要软件,为解决该类软件测试时采用传统自动化测试工具测试脚本维护困难、复用率低,手工测试效率低下等问题,本文设计并提出了一种自动化测试框架。框架基于关键字驱动的思想,通过建立控件映射表,定义常用测试关键字,自动生成测试文档等设计,实现了测试用例与测试脚本的分离,使测试用例的设计、维护、复用更加灵活、简便,并能有效提高软件测试效率。     

黑盒测试技术方法在大气数据计算机软件测试中的应用

软件测试是保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。以大气数据计算机软件测试为例,详细介绍了软件黑盒测试的几种方法,用黑盒测试技术来设计切实可行的测试用例。实践证明,应用黑盒测试技术在大气数据计算机软件测试中设计测试用例,提高了测试效率,发现了软件问题,取得了较好的效果。     

满足适航要求的嵌入式操作系统测试方法

以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型，提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题，同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求，又保证了嵌入式操作系统软件测试活动与适航要求的符合性。     

影响GPS信号C／A码捕获的因素分析及改善方法

通过特定设计的软件测试平台,对自主研制的软件GPS接收机进行了捕获性能的测试分析,得到了捕获性能与信噪比、虚警概率等因素的关系。最后给出了实验数据和分析、改进方法,为软件GPS接收机的开发和研制提供了重要的技术参考。     

基于FPGA 的机载视频切换显示和检测方案的设计与实现

提出了一种基于FPGA 的机载视频切换显示和检测方案。以可编程逻辑器件（FPGA）为核心处理器, 阐述了整个系统设计原理,并详细介绍了系统内部的硬软件设计。最后,搭建硬件测试平台进行测试和验证。 设计实现了5 路PAL-D 制视频输入、6 路PAL-D 制视频输出的实时切换显示功能,同时,对输入输出视频有 效性进行了检测。极大地简化了系统硬件架构和逻辑算法,且视频输出延迟较低,从而降低了系统功耗,提高 了系统的可靠性。     

PowerPC桥/存储器控制器FPGA验证平台的设计

针对PowerPC桥/存储器控制器功能逻辑的验证需求,采用软硬件协同测试的方法构建基于FPGA的逻辑功能验证平台.通过采用激励-响应的功能测试方法和无缝移植嵌入式操作系统、应用程序的软件测试方法,对待测逻辑功能进行差错验证.实践表明,该验证平台的调试方式全面,故障定位准确,有效提高验证效率,缩短开发周期.     

基于CPCI架构航天器测试设备的故障诊断设计与实现

基于CPCI总线架构的航天器测试设备可以实现模块化、集成化和通用化设计,有利于测试系统的再次开发、直接沿用以及后续维护.某型号的综合电子和控制分系统地面测试设备采用基于CPCI总线的架构,使用VxWorks操作系统作为核心调度,采取模块化FPGA开发接口和特定功能.提出以监听任务、功能模块、板卡运行时间为检测手段,实现了对系统测试设备故障的诊断,尤其是反作用轮转速模块,软件能自主进行故障处理.在分系统及整星测试的使用过程中,此方法有效提高了设备的可靠度,提高了对星上产品的安全保护,保证整星大型试验的连续可靠运行.此方法对于其他地面测试设备的故障诊断具有一定的借鉴作用.     

基于FPGA的FQPSK调制的设计与实现

FQPSK是一种具有高频谱效率和高功率效率的调制方式。本文主要研究了FQPSK的调制解调原理,并在软件无线电架构的思想上,使用Verilog HDL语言进行了各个模块的设计,提出一种基于FPGA的FQPSK调制解调实现方案,给出实现的模块框图、硬件仿真结果与测试波形,其结论与计算机仿真结果相符,同时也验证了FQPSK的频谱优越性。这种FPGA实现方案具有高度集成、配置灵活等特点。     

基于数据操作的航天测控软件测试复用模型

测试复用技术是提高软件测试效率和质量的重要技术手段,在分析航天测控软件行为模式的基础上提出了基于数据操作的航天测控软件测试复用模型,给出了测试用例搜索和匹配算法;以航天测控外测数据处理软件的可靠性测试为例给出了模型的具体应用。结果表明,基于给定模型的测试复用方法可提供该软件约65%的测试用例,有效提高了测试效率,所提出的模型和方法对专业领域软件测试效率和质量的提高具有一定的借鉴意义。     

基于VC++和CVI的光纤陀螺测斜仪自动化标定与测试系统

针对光纤陀螺测斜仪的标定和导航精度测试,设计了一种自动化标定与测试系统.该系统利用高精度转台作为运动控制设备,数据采集盒以FPGA和DSP作为硬件核心,标定软件采用VC++作为开发平台,转台控制软件采用LabWinows/CVI作为开发平台,两个软件之间通过基于以太网的UDP协议进行通信.通过测试表明,该系统有效降低了人为因素引入的标定参数误差,提高了导航精度,并缩短了标定与精度验证的时间.     

基于CATIA的飞机驾驶员脚部舒适性研究

针对飞机驾驶员的脚部舒适性问题,提出了一种脚部舒适域算法,并以CATIA软件为平台通过CAA(组件应用架构)二次开发方式实现了三维图形化显示.和人机工程学分析软件JACK生成的脚部舒适域进行了对比验证,验证结果表明提出的脚部舒适域算法正确,计算结果符合GJB4856-2003中相关人体几何数据.通过在CATIA软件上的实现,为工程设计人员在设计飞机电子样机时脚蹬位置设计的合理性提供依据,拓展了CATIA软件在人机工程学领域的应用.同时为其它行业各种脚踏板位置设计提供参考.     

弹载专用计算机工作软件测试分析

弹载专用计算机软件是影响导弹飞行的关键软件,在研制单位进行软件测试后,应由监造单位组织第三方独立的测试。文中介绍了软件测试的体会,强调对飞行控制软件的测试需要一定的理论支持和丰富的实践经验,在软件测试中,对软件设计提出了修改意见,以加强软件研制的质量监督。     

空间站有效载荷综合处理单元设计研究

针对空间站传统有效载荷功能单一、处理资源固化、体系架构封闭等问题,通过对空间站电子信息综合应用系统总体功能和资源需求的分析,基于空间站平台约束条件,设计了一种在开放式物理平台上采用蓝图技术实现软件定义功能的综合处理单元(IPU),并对一套对外接口传输能力为600 Gbps、处理能力为1800 GFLOPS的原理样机进行了测试验证。结果表明,IPU支持在统一平台上通过软件定义功能,能有效提升系统资源利用率,满足总体应用需求。