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

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

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

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

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

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

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

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

基于MC/DC最小测试用例集设计方法研究

动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设计方法。针对一个判定中同一条件出现多次的复杂情形引起的两种不同用例设计思路,结合LDRATestbed覆盖分析结果,总结出合理的设计方法。     

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

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

基于遗传算法的航空机载软件测试用例优先级技术研究

为了提高航空机载软件回归测试效率、降低回归测试成本,提出应用遗传算法实现测试用例优先级排序的方法。该方法将统一建模语言(UML)活动图转化为控制流图(CFG),对控制流图中各判定节点进行二进制编码生成初始种群,并通过选择、交叉和突变等操作搜索适应度最高的个体进行优先测试。以某型飞机机载环控系统综合控制器软件货舱供气旁路调节阀控制率计算功能为案例,证明该方法能够实现测试用例的优先级排序,可用于基于模型的机载软件自动化测试。     

基于模型测试方法在模拟器客观评估中的应用

逼真度反映飞行模拟器与真实飞机特性的一致性程度。 客观评估是一种通过模拟器与系统实际行为的测试比较来评估逼真度的工程方法。 飞行模拟器分为工程模拟器和训练模拟器。 用于飞行训练的训练模拟器构型很少变化,其测试用例由适航标准指导,而用于设计验证的工程模拟器,根据飞机研制进展经常需要升级或更改,其测试用例也会随之变化。 在当今民用飞机技术日趋复杂的背景下,亟需高效方法开展这一类型模拟器的逼真度客观评估测试。 在实验框架和系统实体结构和模型库框架的基础上,提出了一种基于模型测试的方法,在工程模拟器的客观评估的应用中,该方法可以实现测试用例的自动生成和执行,工作效率提升,流程具备灵活性和适应性,有助于在研飞机的定型或取证。     

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

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

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

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

实时软件测试用例构造的充要策略研究

机空与国防领域正呈现实时软件密集的趋势。这些软件可靠性要求高且通常规模较大，测试是一项艰巨的工作。如何使测试做到充分且必要是十分重要的研究课题。本文在分材实时软件特征的基础上，针对程序正确性测试，从任务组合等价类划分两个主要环节，探讨了测试用例构造的充要策略，并举出一具体实例。     

非接触式智能卡协议测试系统的设计与实现

针对智能卡协议测试存在的自动化和标准化程度低、脚本复用性差等问题,提出了一种非接触式智能卡协议测试系统Proxi CPTS(Protocol Test System of Proximity Card)。系统采用分层结构和模块化设计的思想,通过硬件抽象层屏蔽测试设备的不一致,构建功能函数库以实现代码隔离,采用工程化方法管理测试用例,支持系统扩展。实际应用表明,该系统能够提高测试效率,且系统结构清晰,具有较高的可维护性,可以满足自动化测试的应用需求。     

FMC软件测试与可靠性

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

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

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

一种基于State模式的惯导系统软件设计方法

State模式是一种面向对象的设计方法。针对惯导系统软件设计中的问题,提出了一种基于State模式的惯导系统软件设计方法,并将其应用于惯导系统软件分支流程的设计过程中。与传统设计方法相比,该方法将逻辑判断和处理封装在状态对象中,为不同系统状态子类声明了一个公共接口,用子类实现特定状态下的行为操作,避免了多种状态转换时逻辑判断的复杂度,降低了惯导系统软件的耦合程度,增强了代码的可靠性、健壮性和可移植性,从而提高了软件质量。     

基于数据挖掘和决策树的测试用例重用技术研究

通过应用数据挖掘和决策树算法，将测试专家分类重用测试用例的思想固化，并可以根据新采集的可重用的测试用例，不断扩充分类规则，使测试用例重用库具有不断自扩充和自完善的能力。通过使用测试用例重用库中可重用的测试用例和测试思想，可以提高测试人员对被测软件需求规格说明中功能和性能等指标的测试全面性和有效性，提高工作效率，减少工作量，并提高测试质量。     

基于Visual Basic 6.0的信号发生器自动测试系统

介绍了信号发生器自动测试系统的组成、功能以及实现方法,着重介绍了软件系统的结构、设计思路及设计的难点.该自动测试系统的软件基于Visual Basic 6.0编写,并通过GPIB口实现与仪器间的通信,自动完成数据处理及生成文档.该测试系统实用、高效、可靠.     

基于TMSDG的民用飞机故障诊断隔离策略

 针对民用飞机排故时交互式故障诊断与隔离需求,在符号有向图(SDG)中补充状态节点的故障概率信息和未测状态表达,引入对测试节点的描述,提出了一种附带测试维修信息的SDG(TMSDG),给出了基于此模型的交互诊断流程。首先根据初始征兆获取可疑集,然后综合可靠性和测试代价等因素生成一种基于最小测试代价的诊断二叉树对初始可疑集进一步隔离。该模型能描述复杂系统中存在的状态关联和故障测试依赖关系,对其中故障进行交互式诊断和隔离指导。利用该方法建立了某飞机发动机高压引气的诊断模型,实验结果表明提出的方法有效。该方法适用于飞机的外场故障诊断与隔离。     

基于模型驱动的四余度信号表决系统设计

利用一种基于SCADE模型驱动的嵌入式软件开发方法,研究四余度信号表决系统的设计和实现,方法的主要优点在于基于图形化的软件建模、代码自动生成、具有开发周期短、安全性高,并在很大程度上实现了软件开发的自动化.通过测试和仿真,四余度信号表决系统软件模型设计合理可行,生成代码可嵌入到实时软件中使用.     

基于模型的FADEC软件结构覆盖率分析

结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能.在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式.以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性.