根据用例设计测试用例

<正>1 概述UML作为面向对象系统分析、设计的标准的建模语言已得到学术界的推崇和工业界的支持,像大多数软件一样,使用XML 进行面向对象软件开发、设计过程中,在提高软件质量的同时,仍然需要通过测试来确认软件分析、设计、实现的一致性和正确性。软件测试的主要依据来自于系统需求和设计,测试用例实际上就是验证了软件相应的需求和设计。对于一个复杂的系统,测试用例并非是一些简单数据的汇集,而是根据软件的输入、输出等数据而进行的系统交互过程。测试的关键问题之一就是要合理地设计一个有限的测试用例集合,以最大概率代表整个测试用例空间。目前软件测试用例的工作主要靠手工完成,测试用例的选     

面向适航标准的机载软件测试验证方法综述

机载软件测试是指机载系统中嵌入式软件执行的测试验证过程,目的是为了挖掘出软件缺陷从而提高机载系统的可靠性。随着机载嵌入式系统功能的多样化需求,软件的规模和复杂程度不断增加,同时因为其实时性、嵌入性、高可靠性等特殊性,因此对机载软件进行充分测试成为当前的一个挑战。为了满足要求,机载系统的测试需要遵循最新的适航标准DO-178C,针对机载软件生命周期过程提出了一系列目标要求和设计考虑。为此,简介了机载软件适航认证标准的发展及其测试环境;根据DO-178C对机载软件测试的各个过程从基于需求、基于模型、基于安全性分析以及软件验证的测试研究机载软件的测试验证方法,并进行小结;对相关领域的发展进行总结和展望。     

面向云测试的并行测试用例自动生成方法

为实现云计算环境下的高效软件测试,提出一种Web 应用系统功能测试的并行测试用例自动生成方法。该方法首先根据场景流图采用深度优先遍历算法生成并行测试路径,录制组合产生并行测试脚本,并进行参数化处理;然后,使用基于搜索的软件测试(SBST)方法自动生成可经过目标路径的有效测试数据集,脚本与数据耦合形成大量可并行部署的自动化测试用例。为验证方法的有效性设计了自动化云测试原型系统。实验结果表明,该并行测试用例自动生成方法可以高效地为云平台提供测试用例输入,提高测试效率。     

基于UML协作图的测试用例生成方法与实现

根据组件软件的特征,提出一种基于UML协作图直接产生测试用例的方法.给出了一系列覆盖准则,并针对协作图中条件、并发和循环消息流提出相应的处理方法.采用深度优先的算法遍历所有测试场景,每个测试场景相应于一个测试用例,并设计和实现了测试用例自动生成工具系统UMLTCG.     

用于GUI软件的测试工具

为提高GUI软件测试的效率、降低软件成本,提出一种针对GUI软件的测试工具.该工具由测试配置设定模块、测试用例设计模块和测试用例执行模块组成.首先根据测试需求进行测试配置设定生成INI文件,然后根据INI文件内容将测试对象窗体中需要测试的控件及属性设定到测试用例设计界面中,在界面中进行测试用例设计,并将设计数据保存到XML文件中,测试用例执行模块通过读取XML文件中的数据完成测试用例的自动执行,同时进行测试结果判断,最后生成测试报告.测试人员只需输入数据,不用编写测试脚就能实现测试用例的自动执行,能减轻测试人员负担,提高软件测试效率.     

机载火控系统通用测试平台设计与实现

机载火控系统种类繁多,设备日益复杂且不断更新,对机载火控系统检测系统的开发速度和更新速度提出了更高的要求,通用测试平台能够实现测试设备的快速开发和同步更新,满足机务部队快速保障的需求;介绍了基于虚拟仪器技术和PC104总线的硬件通用平台的设计方法和基于测试模型的软件通用平台的设计方法;实践证明,该机载火控系统通用测试平台能够实现测试系统的快速开发和更新,且环境适应能力强,运行可靠,使用方便。     

基于LoadRunner自动化应用程序接口的舰船装备软件测试系统设计与实现

针对舰船装备软件接口交互信息量大,利用现有动态测试技术对此类软件开展测试工作时效率较低,自动化测试水平亟待提高的现状,归纳分析了舰船装备软件测试系统的主要能力需求,研究了接口协议形式化、测试用例自动生成、测试用例自动驱动、通信接口转换等关键技术,并以上述技术为基础给出了舰船装备软件测试系统的体系架构设计方案,进而实现了一种基于LoadRunner自动化应用程序接口(LoadRunner Automation API)的舰船装备软件测试系统,为舰船装备软件提供了一种可行的自动化测试手段;该测试系统主要包括测试管理模块、测试用例生成模块、测试用例驱动模块和数据收集与分析模块;采用该测试系统能够有效提高舰船装备软件的测试效率。     

面向船舶软件的仿真测试平台研究

软件仿真测试是嵌入式软件黑盒测试领域行之有效且具有广泛应用前景的方法,为解决船舶软件利用仿真测试环境进行自动化测试问题,文中分析了舰船作战指挥控制系统中的嵌入式软件的交联环境,研究了软件测试交联环境协同管理技术;利用将测试模型转化为XML文件并解析驱动的方法实现测试用例的自动执行;对仿真测试中数据类别分析,提出了测试数据的自动收集与分析技术.设计并开发了舰船嵌入式软件仿真测试系统,有效提高了船舶软件测试效率和测试准确性.     

一个基于UML顺序图的场景测试用例生成方法

UML顺序图是基于UML开发的软件设计模型的重要组成部分，它描述了软件系统的动态行为，是软件集成测试过程中的一个重要的信息来源。本文提出了一个基于UML顺序图的场景测试方法，它以UML顺序图为主要测试模型，结合UML状态图和类图生成所有的测试场景，最后使用范畴一划分方法找到与每一场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例，用于测试该场景中对象之间的交互。由于UML已广泛用于软件分析和设计阶段，通过UML模型生成测试用例可充分利用已有的设计结果，减少测试阶段所需的费用，对于已使用UML的工业界有着重要的意义。     

面向电网流式数据处理的性能测试平台

提出一种面向电网流式数据处理的性能测试平台的系统架构及关键技术.针对电网流式数据的业务场景特点,测试平台支持基于浏览器的测试脚本设计和测试场景设计,并支持测试任务的全生命周期管理和高可用保障.为了满足大规模负载测试需求,测试平台提供基于Linux容器的虚拟化测试资源池,实现了测试资源的轻量化、弹性管理.     

面向机载软件的预期功能安全分析验证过程及方法研究

预期功能安全（Safety of the Intended Functionality,SOTIF）关注系统与外界环境、交联设备、任务场景和操作人员交互时,由自身功能设计不足而导致的安全隐患,非常适用于具有复杂功能逻辑的系统和软件研制过程。但目前尚未见到SOTIF在机载软件安全性分析验证工作中的研究与应用,导致机载软件安全性分析验证过程难以适用于复杂失效的分析识别。因此借鉴SOTIF在汽车领域的成功应用经验,开展面向机载软件的SOTIF分析验证过程与方法研究。首先,参考ISO 21448标准,提出机载软件SOTIF分析验证框架。然后,借助功能危险分析、故障树模型、场景驱动等理论,针对过程中涉及的SOTIF分析验证技术进行研究,识别机载系统危险,分析软件异常控制行为及其原因,构建SOTIF测试场景与测试用例,形成基于SOTIF的机载软件安全性分析验证完整闭环。最后,通过SOTIF技术在机轮转弯控制软件的典型工程应用,验证了该研究成果的有效性和可行性,形成了面向机载软件的SOTIF分析验证过程与能力,可支撑研制人员充分识别机载软件运行过程中软硬耦合冲突、人机交互异常、场景切换异常等复杂失效模式,确保机载软件满足高安全、高可靠研制要求。     

基于USB接口的AFDX网络TAP卡设计与实现

AFDX网络以其传输时间确定性、高可靠性和实时性等优点,成为新一代大型飞机航空总线的最佳选择之一。作为一种具有巨大应用潜力的新型的机载网络,AFDX网络的仿真测试至关重要。针对AFDX网络系统提出了一种TAP（test access point,测试访问接口）结构的测试卡设计方案。在设计的过程中,充分考虑了接入方式对网络传输的影响和数据捕获速率对主机接口的要求,采用串联植入方式设计出一款基于USB2.0接口的TAP卡及协议解析和数据统计软件,为AFDX网络的性能评估和系统级验证提供了方法和依据。通过在AFDX仿真验证平台中的实测结果,证明了该TAP卡具有灵活性强、测试精度高、实时性强等特点,完全满足AFDX网络测试及监控需求,为相关测试系统的研制提供了设计思路和实践经验。     

基于ATML的机载电子系统原位测试系统设计与实现

针对直升机机载电子系统在执行任务过程中故障检测和隔离困难,外场维修保障效率低下,且缺乏快速有效故障检测工具现状的问题,设计了基于ATML标准的机载电子系统原位测试系统。阐述了原位测试系统的基本组成、工作原理、硬件结构、软件架构和测试电缆转接设计方法,以某型机载配电系统为案例进行原位测试需求分析及测试方案设计。利用基于ATML标准的测试软件平台SGTS进行原位测试程序开发,并将该方法应用至某型直升机原位测试系统研制。经实际验证,该原位测试系统的使用大幅提升了机载电子系统的故障检测与隔离率指标,为直升机外场排故提供了有效便捷的手段,提高了外场维护效率。     

基于“软硬结合”平台的导航战体系对抗与评估系统研究

为了实现全规模、等要素的真实或近真实条件的导航战体系对抗及评估,基于"软硬结合"平台的导航战体系对抗与评估系统提出"软硬结合"的系统架构,即用计算机网络把试验推演评估仿真分系统和对抗硬件平台系统试验连接起来,设计的试验推演评估仿真分系统基于软件虚拟方式满足系统灵活性及一定规模的要求,和工程体系对照的物理仿真分系统具备装备实体物理特性,"软硬结合"模式通过硬件设备可与软件模型无差别的等效集成,共同构建试验环境;在导航战体系对抗过程中实现了对体系的信息流、时间流、预期试验结论等验证内容,实现了进行全规模、全要素验证要求,并具备灵活性与真实性有效统一;现有初步规模设备的典型应用场景对抗的试验结果表明,"软硬结合"平台这一体系能够满足相应的体系化、网络化系统对抗和多层次、全方位的体系对抗需求。     

基于软件的RFID系统设计仿真验证方法

为构建RFID技术研究及产品研发的测试环境,对RFID系统设计的验证测试技术与方法进行研究,提出了RFID系统映射建模仿真方法,开发了基于S／C模型与多线程的RFID系统设计的软硬件综合验证测试平台。     

采用随机Petri网的嵌入式机载软件可靠性检测

针对嵌入式机载软件设计中存在的典型缺陷问题，结合嵌入式机载软件任务调度特性，提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法，以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系统行为建模，并给出典型缺陷的检测策略和判定准则，然后通过对Petri网模型进行仿真验证，检测系统是否存在此类设计缺陷；并给出了软件设计的运行流程的仿真验证算法，以支持对相应设计的可靠性检测。通过与其他可靠性检测方法的比较，表明了该方法的有效性。     

无人机综合检测与仿真系统

针对无人机系统研制过程中测试及仿真验证的需求,设计了一种基于PowerPC硬件平台和VxWorks软件平台的无人机综合检测与仿真系统.该系统以仿真计算机为主体,在考虑综合检测与仿真两大功能需求的基础上,对其进行软硬件设计.本文从系统整体研制方案、硬件设计与实现、系统通信协议、软件设计与实现等4个方面具体阐述系统工作原理及设计思路.最后搭建了不同的应用环境对该系统进行测试和验证,通过数据分析证明了该系统的实用性,并将有效地提高无人机飞行控制系统的研制和开发效率.     

通用飞机验证试飞智能辅助测试系统需求研究

根据当前通用飞机验证试飞测试的实际需要,针对通用飞机体积小、重量轻、试飞周期短等特点,基于人工智能技术提出了一套适用于通用飞机验证试飞的智能辅助测试系统需求,为通用飞机验证试飞智能辅助测试系统构架研究提供支撑。智能辅助测试系统需求包括从采集记录、座舱影像记录等环节提取的机载试验设备需求和从数据传输、数据存储、数据处理等环节提取的地面智能辅助系统需求两大部分,依据该需求构建的系统可实现对测试数据进行实时综合分析评估并反馈,辅助试飞工程师和试飞员全面掌握验证飞行情况,及时调整飞行状态、操作程序,从而为试飞适航验证提供技术支持,并实现提高试飞效率、缩短CCAR23部类通用飞机型号科研试飞与适航验证试飞周期、降低试飞成本的目的。     

SPARC V8仿真系统设计与实现

嵌入式软件实时性、嵌入特性、反应性等特点,使得仿真测试成为嵌入式软件系统测试的一种有效测试方法。针对SPARC V8体系结构特点,综合考虑硬件系统工作流程和仿真器性能要求,提出了一种全数字仿真测试平台的设计方案。采用有限状态机构建系统模型,并对CPU仿真框架,内存系统框架,指令集仿真和测试用例生成方法等关键问题进行研究,实现了SPARC V8微处理器的内核仿真器和仿真调试器。仿真模型易于控制、移植,解决了传统测试环境中依赖硬件、灵活性差、错误难以定位等问题。