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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

导航计算机测试软件的架构设计

为解决多种型号被测产品、在不同测试设备上的测试软件开发的问题，尽可能地缩短开发和调试时间，并确保软件的开发质量，提出了一种针对导航计算机测试这一特定领域，以提高扩展性和重用性为目标的软件架构。该架构提供了统一的测试软件设计和开发方法，规范了软件的实现过程，为测试软件的开发提供了一致性的解决方案。采用组件化的开发方法，将具有复用价值的内容封装为组件，为测试软件开发和运行提供了共享的基础平台；提供了开放式的体系结构，规定了内部的组织结构、组件类别与职责、接口规范、交互方式、组件开发方法，便于软件的扩展和修改。经过工程项目的验证，该架构满足在各种专用测试设备上、针对不同型号被测产品的测试软件快速、高质量开发的需要。     

星载软件测试用例设计方法的研究

主要针对航天型号星载软件,结合三种测试方法的各自特点,归纳整理出测试方法在实际测试用例设计中使用情况以及产生的典型案例。并通过三种测试方法的比较得到每种测试方法的适用情况以及在实际卫星型号星载软件测试工程实践中的运用。目的是通过对三种测试方法的研究和典型案例的分析进一步提高软件评测的技术能力。     

智能检测技术在靶场测控设备中的应用及前景

综合运用先进的GPS授时技术和数字仿真、虚拟仪器结构、可视化编程等计算机软件技术，构建新一代靶场智能型检测系统，解决对野外分散站点上测控设备进行检测、标校、监控和测控网通信联试等技术问题。着重阐述智能化检测技术在靶场的应用及发展趋势，为技术人员开发测试软件提供参考。     

一种基于UML活动图模型的系统测试方法

UML活动图是基于UML开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件系统测试过程中的一个重要的信息来源.提出了一个基于UML活动图的场景测试方法,给出了生成基本流和备选流的原则,对传统场景法进行了改进,避免了测试场景集数量爆炸.最后重点结合一个实例对该方法进行了论述.     

基于自组织神经网络的软件功能测试数据自动生成

针对面向软件功能的测试数据自动生成问题,提出了一种动态自组织特征映射方法,用于生成揭示软件功能故障的测试数据(简称故障数据)。该方法主要有两部分组成,①采用具有全局多峰搜索特性的小生境遗传算法,在输入空间内搜索功能测试数据,生成少量的初始故障数据;②由初始故障数据,采用具有联想和分类能力的可变结构自组织特征映射,不断迭代生成大量相近而不同的故障数据,以便给开发者提供引发这些软件故障的信息,从而确定软件故障行为的模式或假设。用某型空空导弹发射控制软件进行了实验,运行结果表明了方法的有效性,故障数据生成效率高于遗传算法和随机法。