基于有限状态机模型的飞控软件测试方法浅析

对有限状态机模型(FSM)在飞控软件测试中的应用进行探索。在软件动态测试过程中,将飞行控制模式和搜索软件用统一的数学模型表达,提高了测试的错误检测能力,对型号产品中软件质量和可靠性起到一定保障作用,可作为型号产品中其它控制类软件测试的借鉴。     

航电系统机载软件全数字仿真测试平台技术研究

为解决型号研制过程中航电系统软件测试困境,提出一种全数字仿真测试解决方案。在不采用成品实物的情况下,对航电系统软件进行测试,测试过程可覆盖软件研制全生命周期。     

复杂航空软件工程化管理研究

针对航空型号软件规模、复杂程度日益增加及大量承研单位间合作协调的问题,提出了复杂航空软件工程化的综合管理框架,对软件测试质量评价和软件研制工具管理两个方面进行了重点研究,提出了合格性评价加上模糊评价的软件测试质量评价方法,提出了适合我国航空型号研制现状的软件研制工具管理方法,并给出了软件工程化实施方案。     

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

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

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

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

无人机飞控软件测试方法研究

飞控软件是无人机飞行控制系统的控制神经中枢,对无人机飞控软件进行有效的测试是保证飞控系统质量的重要手段.根据某型无人机飞控软件及其开发特点,提出一种与软件开发过程同步的、基于多个测试环境的软件测试模型,重点阐述该模型涉及的单元和配置项测试方法.测试结果表明,提出的测试模型,测试工作能有效地发现无人机飞控软件在不同开发阶段引入的不同类型的软件缺陷,有效地保障了无人机飞控软件的安全性、可靠性和质量.     

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

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

基于故障注入的实时嵌入式软件仿真测试技术研究

由于强实时性、参与闭环控制、软硬件耦合及可靠性要求高等特点,飞行控制系统嵌入式软件在软件研制、测试及验收阶段往往缺少动态测试环境。本文在仿真测试技术基础上,针对飞行控制系统嵌入式软件的特点与测试需求,进行了基于故障注入技术的仿真测试技术研究,设计了一种实时嵌入式软件仿真测试平台方案。     

软件测试的控制论方法

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

基于GJB 9433的FPGA软件测试环境平台研究与应用

针对FPGA测试方法不规范、测试流程不统一的问题,提出构建一种基于GJB9433的软件测试环境平台,通过对FPGA软件测试环境平台的需求分析,设计了基于GJB9433的软件测试环境平台的架构及组成,实现了FPGA软件的自动化测试,并在实际项目应用中对设计架构进行了验证,可为标准在工程项目中的落实提供高效的环境支撑。     

基于GPS/SINS制导控制系统的半实物仿真系统设计

介绍了基于GPS/SINS的制导炸弹制导控制系统和半实物仿真系统组成,详细阐述了半实物仿真试验的目的、内容、试验原理及主要仿真设备的各项功能。设计了半实物仿真软件及半实物仿真试验模型所加的误差干扰,搭建半实物仿真环境,开展了半实物仿真试验。试验结果表明:半实物系统能有效模拟制导炸弹飞行过程,对制导炸弹制导控制系统进行了全面仿真验证,为飞行靶试试验提供了技术支撑,对制导炸弹飞行弹道评估和保证型号项目研制进度有重要的意义。     

软件需求的可否证性研究

系统测试是提高型号软件质量和可靠性的有效方法。以某型运动控制组件为对象,描述了系统测试的实现方法及遇到的问题,探讨了型号软件需求的可测试性问题,指出了软件需求条目编制的关键在于其是否有＂可否证性＂。     

基于自组网策略的多机编队与防撞任务研究

近年来多旋翼无人机编队飞行技术取得了巨大的突破,将无人机技术与自组网技术相结合将会促进无人机集群技术的发展。为了促进无人机编队飞行技术的发展,以5架六旋翼无人机为研究对象,重点研究了基于自组网策略的多旋翼无人机队形组成、队形保持、队形重构以及飞行过程中的避碰策略,设计了数据闭环的地面编队控制软件并进行试飞验证。测试结果表明,该数据闭环地面编队控制软件稳定可靠,实现了编队队形组成、保持、重构以及在队形变换过程中的机间避碰等功能,对多旋翼无人机编队飞行工程化实现具有一定的参考价值。     

浅析自动校准软件的测试

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

一类基于神经网络技术的软件故障静态测试方法

对测控软件可靠性增长模型的现状进行了分析,提出了基于神经网络的可靠性增长模型,选用了具有良好泛化能力和强大的非线性逼近能力的 BP 神经网络,对测试软件进行拟合,并对软件故障数进行静态预测和验证,实验表明,该模型具有很高的预测精度和良好的对非线性映射的逼近能力。     

航空发动机数控系统通用仿真和开发平台的构筑

通过研究提出了一种集航空发动机数字控制系统设计、发动机调节计划和控制规律研究、控制系统软件开发、软件集成测试，以及控制器全功能检查为一体的通用仿真平台的设计构想。并对该高综合、多功能发动机通用仿真平台作了进一步的阐述。     

作动器速率饱和时的PIO抑制方法

 作动器速率饱和会产生附加的时间延迟, 使系统稳定性大大降低, 并增加了驾驶员诱发振荡( PIO) 的趋势。为防止作动器速率饱和, 在飞控系统中一般设置了软件速率限制器。对比分析了3 种软件速率限制器, 探讨了它们的开环和闭环特性, 从研究角度出发, 提出了某型飞机在出现低液压故障情况下的PIO 抑制方案。非线性六自由度仿真结果表明, 该方案明显改善了算例飞机在严重低液压故障时的动态响应, 降低了PIO 趋势。     

机载嵌入式软件的系统测试

针对航空电子系统的功能特点,分析了某航电分系统控制管理计算机软件的特征和要求,结合机载嵌入式软件的系统测试需求,提出利用航电分系统设计开发试验平台,通过总线上的故障注入和数据采集方法,实现机载嵌入式软件的系统测试。     

飞行控制系统软件复用技术

软件复用技术能够提高飞行控制系统软件研发效率,保证软件质量。针对飞行控制系统软件的特点,提出以软件复用为目的的软件体系结构,提取了基本构件,并对基于复用技术的飞行控制系统软件研发过程进行了研究。