软件测试用例生成与约简算法研究

对于参数多、状态多且状态转换关系复杂的软件,测试人员设计的测试用例往往难以保障测试覆盖率。针对该问题,提出了一种测试用例生成与约简算法。该方法定义了一种数据模型——测试路径控制阵列模型,将其与因果图法结合起来,可通过编程实现测试用例设计。该方法设计测试用例便捷、充分,避免了由于人工绘制因果图和检查判定表引入的错误。应用于实时系统软件的主副切换功能测试时,生成测试用例32个,对被测对象覆盖全面且有效。     

基于全数字仿真的航空机载软件验证技术研究

航空机载软件一般依靠硬件在环实时仿真平台进行软件验证,存在周期长、成本高等缺点。为了在设计初期快速、低成本地验证软件的正确性,提出了一种基于全数字仿真的软件验证方案,并以航空发动机引气控制系统为例验证这种方案的有效性。实际验证表明,该方案的测试用例配置方便且测试结果形象直观,为航空机载软件迭代验证提供了一种快捷的手段。     

一种基于组合覆盖的黑盒测试用例自动生成方法

给出了一种黑盒测试用例的自动生成方法,该方法基于组合覆盖测试,能够在保证测试质量的同时有效地减少测试用例的数目和测试成本,提高测试效率。本文给出了这种用例生成方法的算法,说明了其有效性,并介绍了该方法软件原型的实现。     

基于运行场景模型的测试用例生成和排序方法

大型民用飞机研制是一项多系统、多学科交联的复杂系统工程,民用飞机主制造商应在早期设计过程中进行需求的确认和验证工作,以找出设计中的缺陷,减少后续迭代设计成本,缩短设计周期,提高产品的竞争力。通过引入软件工程领域基于场景测试的方法,利用场景作为工具,以飞机在进近过程中触发TAWS模式1告警为实例,采用SysML活动图构建民机运行场景模型,基于场景模型生成测试用例,同时引入测试用例重要度对测试用例进行排序,用于指导后续的测试工作,为实现基于场景的需求确认和验证提供了支撑。     

FMC软件测试与可靠性

研究了可靠性测试的规律,针对机载飞行管理计算机的自动测试软件,设计了测试内容、基于覆盖的动态测试模型和测试用例,并给出基于累积失效时间的软件失效仿真试验数据,提高了软件的可靠性。     

面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例，给出了一组规则来细化基于活动图的测试模型所表达的语义，同时也对活动图做了一些扩展，以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法，能够减少某些冗余的测试用例。     

嵌入式实时控制多任务软件的测试设计与实现

软件测试是软件工程中主要的研究领域之一，尤其是实时控制多任务软件的测试，尚无成熟而通用的工具。本文工作以机载航空电子通信与控制管理软件为背景和应用对象，探讨了嵌入式实时控制多任务软件的测试方法和实现技术；根据被测软件的特点，采用了路径遍历，对输入多数集按合法、边界、非法划分等价类的原则构造测试用例，设计了二度式测试用例生成程序、嵌入式测试驱动与记录程序等工具，使本文具有明显的特色，并对同类应用软件的测试工作，具有一定的参考价值     

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

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

浅谈某机载附件综合测试系统驱动软件设计

为了减少测试时间、降低测试成本,某机载附件综合测试系统采用并行测试技术进行设计。本文结合测试系统的需求,基于Lab Windows/CVI虚拟仪器技术,确定底层驱动软件采用动态链接库(DLL)技术进行开发。最后以音频分析仪表为例,采用RS232串行总线技术,在LabWindows/CVI 2017环境下完成仪表的驱动软件DLL设计,实现了音频分析仪表的远程控制及测量。经实际验证,该驱动软件操作简单,可移植性强。     

机载计算机软件的测试

测试是保证机载软件质量可靠性的关键工作,但由于其复杂性和特殊性,机载软件的测试存在许多特殊的困难。本文对机载软件的特点进行归纳并分析其对软件测试的影响,针对机载软件的特点提出了相应的测试策略,特别地对机载软件可靠性测试的关键技术进行了讨论,提出了机载软件可靠性测试的完整方案。     

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

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

机载嵌入式实时操作系统时间性能测试

在机载嵌入式实时操作系统中,时间性能是一个非常重要的参数.为了评估机载嵌入式实时操作系统的实时性,同时为用户提供操作系统的时间性能参数,本文介绍了支持分区的机载嵌入式实时操作系统中特有的影响时间性能的关键因素--错误响应时间,分区间数据交换时间,进程上下文切换时间,分区上下文切换时间;给出了操作系统时间性能测试的方法,着重分析了计时工具,测试用例的设计,测试点的选取,以及排除影响测试准确行的因素.     

某型军机军械火控系统自动测试仪的设计与研究

传统的机载火控系统性能测试技术含量低,不能满足现代战争的需要.为提高部队的快速反应能力,研制了一种基于VXI总线技术组建的机载火控系统自动测试,并给出了测试仪的硬件配置和在Lab Windows/CVI环境下的软件模块化设计方案及实现方法.机载火控系统自动测试仪的研制,为部队战时或训练现场实时测试机载火控系统的主要性能提供了方便.     

模型驱动的IMA标准符合性测试自动化技术研究

随着现代航空电子系统的规模、复杂度不断提升,综合模块化航电系统(Integrated Modular Avionics,IMA)在新一代作战飞机中逐渐得到全面应用。IMA将预先定制的任务单元作为多样化任务的处理平台,并集成为综合处理机,实现数据的高速集中处理与融合。针对IMA开放式体系结构的模块化、标准化等特点,本文提出了一种基于接口语义模型的测试自动化技术。其中,标准接口的语义模型对接口数据、功能和行为进行抽象,测试模型内建测试策略与测试计划。从接口模型到测试模型,研究探讨了测试用例的自动生成、部署、和调度执行的方法。研究成果在国产机载操作系统ARINC653标准符合性测试中进行了初步应用,有效提高了测试的系统性、效率和工作质量。     

一种供电特性试验设备的实现方法

随着航空电子技术的发展,实现对航空电子设备供电特性的自动化检测就变得日益重要。介绍了一种在实验室环境下实现供电特性试验自动化测试的方法。根据国内外现行的相关测试标准对机载电子设备的供电特性测试要求,以及实验室原有电源测试设备,从硬件结构和软件程序两方面进行了分析;并进行硬件改造、软件升级,设计了输出管理部件、增加了高精度可控源、更改了部分测试程序,实现了输入浪涌、输入瞬变等测试功能,从而完成机载电子设备的供电特性试验。     

面向适航认证的模型驱动机载软件构件的安全性验证

 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。     

面向复用的航天测控软件测试用例建模研究

首先阐述了测试复用的基本原理,在对航天测控软件测试可复用资源和复用层次进行分析的基础上,利用现有测试资源,提出了基于用例包的测试用例可复用结构改造技术、基于行业领域主题词的检索技术和测试用例的复用策略,给出了对应的测试用例复用模型,实现了用例有效复用及管理。按该模型构建的航天测控软件测试用例复用库系统对提高测试效率和测试质量具有一定的借鉴意义。     

机载FDDI高速数据通信系统

 为了满足航空电子通信技术发展的需求,提出了基于 FDDI标准的机载高速光纤通信网络体系结构,论述了该通信系统的总体设计思想和硬软件实现方案,最后简述了机载 FDDI高速数据通信系统的测试与应用情况。     

软件回归测试过程自动化管理方法的研究与实现

在深入研究软件回归测试过程管理理论的基础上,提出了一整套用于软件回归测试过程自动化管理的方法。该方法能够辅助测试人员按照规范的回归测试过程开展相应的回归测试活动,高效地完成更动影响域自动化分析、回归测试设计、回归测试结果自动化分析及统计、回归测试文档自动化生成等一系列工作,显著提高了软件回归测试过程的自动化管理水平。     

一种优先级区分的机载无线网络MAC层自适应退避算法

针对现有无线网络媒介接入控制(MAC)协议退避机制存在的竞争窗口(CW)易产生振荡、不能为紧急业务提供低时延QoS保障、难以区分服务类别等不足,提出了一种区分业务优先级的自适应退避(PAB)算法。该算法在二进制指数退避(BEB)算法的基础上,根据信道忙闲标识和业务优先级自适应选择相应退避阶段,通过参数设置可对不同优先级业务相邻退避阶段的前、后转移概率进行调整。利用二维马尔可夫链理论对PAB进行了建模分析,理论分析获得了饱和吞吐量和平均MAC时延的数学表达式,仿真实验结果表明:在机载无线网络(AN)环境下,PAB的性能相对BEB有了显著提升,可有效保障机载无线网络多业务类型的传输需求。