基于模型驱动的Web应用自动化测试平台设计与应用

为了提高Web应用的测试效率和测试覆盖率,保证Web应用软件的质量,设计了基于模型驱动的Web应用自动化测试平台。该平台结合了基于UML模型的测试用例生成、基于关键字驱动思想的框架设计和复杂多层的自动化测试框架,实现了测试用例自动设计生成及测试自动化执行,增加了测试脚本的复用性,显著提高了测试效率和测试覆盖率。最后,给出应用实例,并与现有的测试方法和平台进行对比,突出本平台的可行性和应用价值。     

基于面向对象编程的电子产品自动化测试平台设计

由于电子产品的复杂性和多样性日益增强,传统测试方法无法满足现代电子产品的测试需求。因此,本文设计基于面向对象编程的电子产品自动化测试平台。在硬件方面,设计测试控制器和信号收发器,为测试提供必要的支持和保障。在软件方面,基于面向对象编程设计测试用例,确定电子产品测试项,电子产品自动化测试流程实现测试结果输出,平台测试结果表明,该自动化测试平台测试性能更优。     

基于LUA脚本的无线模块自动化测试

分析传统无线模块测试方法的制约性,设计和构建了基于LUA脚本的无线模块自动化测试平台,并且能够有效地加快无线模块测试进度,提高测试脚本的可复用性。该平台通过对被测对象的研究,对测试方法、系统架构、系统软硬件通用性的分析,并引入了基于LUA测试脚本的程序开发环境,实现了无线模块的自动化测试。通过不同的测试用例结果分析表明：该测试方法相对于传统无线模块测试方法缩短了测试周期,降低了开发成本,减少测试开销,运行稳定可靠,达到预期的目的。     

医用电子直线加速器控制软件的测试方法

为了实现对嵌入式控制软件的测试,利用开发工具Realview MDK提供的仿真测试技术进行前期测试,并设计一种基于XML脚本语言描述测试用例的自动化测试方法完成功能测试,从而较完善地满足了对该软件的测试需求.     

基于优先级的组合测试方法探究

传统组合测试方法致力于生成最小组合测试用例集合.然而在实际测试工作中,如果执行测试用例的时间有限,用传统组合测试方法生成的测试用例集难以在有限资源下完全执行.因此,在组合测试方法的基础上引入测试用例优先级概念,可以设计出在资源有限的情况下充分测试关键参数及组合的测试方法,缩短测试时间并确保缺陷检测率.     

MySQL数据库系统自动组合测试

MySQL Test Framework对MySQL的自动化测试提供了测试方法和测试用例。应用自动化的理念,将其测试用例进行拆分并根据测试要求重新组合,以节省运行资源。     

“魂芯”DSP配套基础软件的自动化测试平台

介绍了一种基于调试系统的回放式自动化测试平台,可以自动化测试“魂芯”DSP配套软件单元.该测试平台以主机调试器为测试对象,通过主机调试器调试应用程序,间接地测试编译器、软件模拟器、调试链接服务软件等软件单元.该平台可以方便地添加测试用例,并自动批量回放测试用例.利用本测试平台,可以大大减少“魂芯”芯片配套软件的测试工作量.     

基于QTP的企业级应用软件自动化测试方法

针对目前软件版本频繁升级,测试周期不断压缩,测试工作量大的问题,结合一款企业级应用软件,基于QTP技术平台,搭建了自动化测试框架.首先,通过了解QTP的工作原理,结合企业级应用软件特点,设计了一款合适的自动化测试框架;然后,通过设计测试用例,编写脚本,执行脚本等过程实现了自动化测试.实践表明当自动化测试执行次数越多,自动化测试耗时基本是手工测试耗时的15%,即自动化测试更适合用于回归测试中.通过自动化测试框架的使用,解决了在短时间内完成大量测试用例覆盖的问题,保证了发布软件的质量,提升了测试效率.     

基于控制流模型的Web系统测试方法研究

Web应用系统的使用与日俱增,技术层出不穷,但是Web应用系统的测试却是一个难点.论文提出一种基于控制流的测试方法,对Web应用系统建立控制流模型,并给出形式化的定义,采用模型进行测试用例的产生.为了使测试自动化,论文还谈到脚本技术和测试执行器的设计.     

模型驱动的移动应用测试方法

移动互联网时代,移动智能终端和移动应用已经成为各领域竞相采用的祖尧解决方案。与此同时,移动终端硬件和平台的多样性和异构性,造成了移动应用开发和测试中存在大量工作冗余以及难以复用的情况,带来了跨平台问题,成为了学术界和工业界研究和实践的热点。文中提出使用模型驱动的移动应用测试方法。首先,使用UML状态机模型刻画移动应用的行为;然后,基于移动应用的行为模型,自动生成平台无关的测试用例;最后,将与平台无关的测试用例映射到多个移动平台,产生可执行的自动化测试用例。在此基础上,选择形如掌上电力的应用作为案例,分别实现IOS和Android平台上的自动化测试,验证了模型驱动移动应用测试方法在解决跨平台问题时的有效性。     

一种面向形式化表格需求模型的测试用例生成方法

现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战。传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求。为此文中提出了一种兼具可读性和可自动分析的形式化表格需求建模方法。文中介绍了一种针对这种表格模型测试用例的自动生成方法,工作包括对该形式化需求表格模型展开语义分析,建立需求模型的控制树结构,得到其测试等价类;为了减少不必要的测试,定义了不同安全级别的软件需求模型的测试覆盖标准,并针对不同覆盖率准则分别给出基于控制树结构的测试路径约束选择方法;对于每条路径约束测试等价类,提出了基于域错误的测试用例选择方法,能够自动生成所需的检测域错误的测试用例集。最后,通过一个需求模型实例展示了所提方法的有效性。     

A practical model‐based statistical approach for generating functional test cases: application in the automotive industry

With the growing complexity of industrial software applications, industrials are looking for efficient and practical methods to validate the software. This paper develops a model‐based statistical testing approach that automatically generates online and offline test cases for embedded software. It discusses an integrated framework that combines solutions for three major software testing research questions: (i) how to select test inputs; (ii) how to predict the expected results of a test; and (iii) when to stop testing software. The automatic selection of test inputs is based on a stochastic test model that accounts for the main particularity of embedded software: time sensitivity. Software test practitioners may design one or more test models when they generate random, user‐oriented, or fault‐oriented test inputs. A formal framework integrating existing and appropriate specification techniques was developed for the design of automated test oracles (executable software specifications) and the formal measurement of functional coverage. The decision to stop testing software is based on both test coverage objectives and cost constraints. This approach was tested on two representative case studies from the automotive industry. The experiment was performed at unit testing level in a simulated environment on a host personal computer (automatic test execution). The two software functionalities tested had previously been unit tested and validated using the test design approach conventionally used in the industry. Applying the proposed model‐based statistical testing approach to these two case studies, we obtained significant improvements in performing functional unit testing in a real and complex industrial context: more bugs were detected earlier and in a shorter time. Copyright © 2012 John Wiley & Sons, Ltd.     

成对测试中的测试生成策略研究

测试用例生成是软件测试的关键，成对测试是根据特定的测试原则研究测试用例的产生方法。基于这一原则分别构造了IPO-H算法和IPO-V算法的测试以产生整个测试用例，具有产生的测试用例少，时间消耗小等优点。并与另一个成对测试的测试生成工具AETG(高效自动测试生成器)进行了比较、分析，证明了改进的IPO策略便于构造自动测试工具。     

基于XML的测试用例自动生成方法

提出一种基于XML描述的测试用例自动生成方法:采用XML语言来描述报文接口信息,根据域测试策略生成域测试表,通过组合覆盖生成算法生成最终的测试用例包.该方法产生的测试用例具有数量少、能实现报文接口的最大限度覆盖的特点,从而在保证软件质量的同时,降低成本,提高效率.     

就地化保护智能管理单元自动测试系统设计

为进一步提升智能管理单元研发测试的质量和效率,提出了就地化保护智能管理单元自动测试系统的构建方案。给出了智能管理单元自动测试系统的总体设计思路。设计了自动测试系统的硬件框架;采用模块化、层次化的软件体系架构,增强了测试系统的扩展性和可维护性;详细介绍了自动测试系统的功能实现流程和测试操作流程。根据测试项目全自动生成测试用例,构建智能管理单元运行仿真环境、完成故障模拟,采用多线程等计算机技术,高效、可靠地实现了对智能管理单元的全自动闭环测试。该自动测试系统的主要创新点在于全自动生成用例、规范测试流程及模拟电力系统故障。实际应用表明,该设计能够显著提高测试质量和测试效率,其层次化的软件架构设计及规范化的流程设计对其他自动化控制系统的研制也有一定的参考意义。     

CTCS3级列车控制系统测试序列自动生成方法

重点研究CTCS3级列车控制系统的功能测试。首先介绍CTCS3级列控系统的组成,然后重点研究了对测试案例的一种形式化描述的方法,以及基于遗传算法的测试序列的实现,为后续的自动测试或者现场奠定基础,最后给出用遗传算法求解测试序列的具体实现。     

基于系统功能测试的软件自动化测试可行性分析

本文基于软件自动化测试的特点和项目的实际需要,比较传统的手工测试和自动测试两种方法,介绍了如何进行软件自动化测试可行性分析。重点基于项目的系统功能测试,讨论软件自动化测试的收益问题,最终得出影响软件自动测试可行性程度的因素。     

一种基于模型的测试充分性评估方法

测试充分性评估通常采用覆盖率的方法来评估测试对软件特征的覆盖充分程度。如今,传统的充分性评估方法难以满足复杂软件的测试评估需求。首先,代码覆盖准则难以准确验证软件需求;其次,软件测试还需考虑软件不同特征对系统测试充分性的不同影响。对此,提出一种基于接口的建模方法和基于该模型的综合覆盖充分性评估方法。该方法根据软件接口说明,对系统功能进行特征抽取、建模,并对接口模型的测试用例进行不同层级的充分性评估,对评佑结果进行归一化处理,得到系统的综合测试充分性。通过案例表明,这种评佑方法能够反映功能的测试充分性,对测试用例的设计和优化有一定指导意义。     

A semantic approach for automated test oracle generation

This paper presents the design, implementation, and applications of a software testing tool, TAO, which allows users to specify and generate test cases and oracles in a declarative way. Extended from its previous grammar-based test generation tool, TAO provides a declarative notation for defining denotational semantics on each productive grammar rule, such that when a test case is generated, its expected semantics will be evaluated automatically as well, serving as its test oracle. TAO further provides a simple tagging mechanism to embed oracles into test cases for bridging the automation between test case generation and software testing. Two practical case studies are used to illustrate how automated oracle generation can be effectively integrated with grammar-based test generation in different testing scenarios: locating fault-inducing input patterns on Java applications; and Selenium-based automated web testing.     

信号调理模块的LXI自动测试系统设计

为满足自动测试系统课程实验的教学演示需要,以某信号调理模块为被测对象设计开发了一套基于LXI总线的多通道自动测试系统;该自动测试系统主要由激励信号源、信号调理模块、数据采集器以及设计的通道选择模块组成;设计的通道选择模块以ATmega328-PU单片机为核心,采用电平转换芯片CH340T实现与上位机间的通信,并且使用ULN2803驱动芯片实现对继电器开关的驱动控制;在软件设计中,使用“生产者—消费者”的架构进行控制软件的设计,采用面向对象的编程思想封装设备的操作函数,根据技术要求基于LabVIEW完成人机交互界面的开发;经实验测试表明,该自动测试系统可由计算机控制产生输入信号调理模块的激励信号,并具备对信号调理模块输出信号的采集、分析处理以及显示功能,同时可以进行测试通道选择切换,在实际应用中满足自动测试系统课程实验的教学演示需求.