WEB应用测试执行引擎的设计与实现

基于模型的测试以系统的抽象模型为依据,自动生成可执行的测试用例,自动地执行测试并自动评价测试结果,实现测试过程的自动化.论文主要研究测试执行自动化技术,设计实现一个自动化测试执行工具.工具的核心是设计基于XML的自动化测试脚本并实现了一个测试执行引擎.脚本拥有良好的结构定义,便于编辑和扩展,由自动化测试工具自动生成.引擎使用多线程技术模拟多用户的并行使用,解决了数据驱动测试执行方式和线程并行操作时的同步问题.     

基于数据驱动的自动化测试平台设计

本文介绍了基于数据驱动的自动化测试以及其实现方法.本文以目前流行的自动化测试框架为基础,以数据驱动测试框架为核心,采用数据驱动脚本技术,在设计自动化测试平台的过程中实现了测试数据与测试脚本的分离。同时借鉴了测试脚本模块化的思想,将测试脚本进行分层次、嵌套管理,完成了基于数据驱动的自动化集成测试平台的设计。提高了软件测试自动化程序的可复用性,以及在系统、产品以及数据方面的独立性。     

基于Robot测试框架的关键字驱动的研究与应用

为了有效提高软件的测试效率,通过对自动化测试技术之间优缺点比较,结合Web的特点和业务流程,提出了一种基于Robot测试框架的关键字驱动技术。在此技术的基础上,设计并实现了将Robot测试框架运行于RFT等测试工具,实现了测试脚本生成、测试执行与测试报告生成自动化,大大提高了自动化测试效率,保证了软件质量。     

GUI自动化测试框架的研究与实现

WinRunner是当今图形化测试领域里功能最强大的工具之一。如何灵活高效的利用此工具实现自动化测试是提高GUI产品测试质量和效率很重要的一个途径。本文讲述了一个基于WinRunner测试工具本身开发的一个自动化测试用例开发框架，详细描述了它的设计原因，实现思想和原理。以及如何与自动化测试系统ATS进行集成。     

基于STAF的软件自动化测试系统的研究和实现

设计并实现了一种基于STAF的软件自动化测试系统,能够较好地对自动化测试过程进行管理,并且支持多平台测试网络环境下对自动化测试任务的执行和监控。通过该系统的实施,能够提高软件测试环节中的自动化程度,从而提高测试效率,缩短测试周期,同时增加测试结果的可信赖程度。     

一个基于XML的自动化类测试框架

针对当前自动化类测试工具/框架存在的问题,提出了一个基于XML的类测试框架。框架采用基于XML的自动化测试过程数据流模型,用XML语言来描述和组织测试用例,自动生成测试驱动程序,自动执行测试并生成测试结果。框架可用于不同语言应用程序的自动化类测试,框架实现测试设计、测试实现和测试执行的分离,利于测试脚本的维护,并保证测试脚本与测试用例的一致性。     

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

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

航天器数字化测试模式设计与应用

随着航天事业的发展,航天器将迎来高密度的研制和发射任务。测试设计和实施同步、测试现场消耗大的测试模式导致测试效率低下,不能满足未来的综合测试需求。为解决航天器测试效率不能适应测试任务的问题,设计了航天器数字化测试模式。搭建数字化测试平台,实现测试准备、测试实施、测试评估全周期自动化。基于数字化测试平台,开展综合测试专业化设计与实施。推进测试设计与测试实施分离,将测试设计工作前移,测试设计人员通过测试用例与测试判据的精细化设计,将测试准备工作做充分,实现测试实施和评估过程自动化。数字化测试模式应用于多个航天器型号综合测试,形成多个固化测试用例数据库,有效提升测试效率,为后续型号测试能力的提升奠定坚实的基础。     

基于RF开关矩阵的雷达双通道测试平台

雷达性能测试贯穿于雷达系统的研发和使用阶段,针对目前雷达测试平台存在集成化、稳定性不足的情况,设计了一种基于射频(RF)开关矩阵的雷达性能双通道集成测试平台;首先,基于RF开关矩阵和通用仪器设计双通道测试结构;继而开发程控软件,同步控制开关矩阵的切换和各项仪器的数据采集,实现自动化雷达性能测试;该平台校准面插损和测试面插损之间的误差远小于传统方法,对雷达指标的测试精度可达到0.1 dB以上;且通过自动化的信号采集、信号处理及数据分析,实现了对雷达设备的高精度、高效率自动化性能测试。     

基于Testbench的FPGA实物自动化测试环境设计

针对FPGA软件测试过程中仿真测试和实物测试的不足,提出了一种基于仿真测试用例的实物自动化测试环境,将用于仿真测试的Testbench进行解析处理,形成能够用于FPGA实物测试的传输信号,通过执行器将此信号转换为作用于被测FPGA芯片的实际信号,并采集被测FPGA芯片的响应,实现对FPGA的实物自动化测试。采用实物自动化测试环境验证平台对设计架构进行了验证,取得了良好的效果。     

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.     

基于UML的软件测试用例自动生成技术研究

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用，基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UML Sequence Diagram进行形式化分析产生测试场景的技术，定义了相应的测试覆盖准则，分析了测试数据的生成。并探讨了将测试工具和建模工具相结合的具体实现方法。     

Comparing model-based and dynamic event-extraction based GUI testing techniques: An empirical study

Graphical user interfaces are pervasive in modern software systems, and to ensure their quality it is important to test them. Two primary classes of automated GUI testing approaches, those based on static models and those based on dynamic event-extraction, present tradeoffs in cost and effectiveness. For example, static model-based GUI testing techniques can create test cases that contain nonexecutable events, whereas dynamic event-extraction based GUI testing techniques can create larger numbers of duplicate test cases. To better understand the effects of these tradeoffs, we created a GUI testing framework that facilitates fair comparison of different GUI testing techniques, and we conducted a controlled experiment comparing representative versions of static-model based and dynamic event-extraction based testing techniques on several GUI-based Java applications. Our study reveals several cost and effectiveness tradeoffs between the techniques, with implications for research and practice.     

分布式测试法在协议测试中的实现与应用

分布式测试方法是对网络产品进行协议一致性测试活动的一种重要的抽象测试方法，在本文中我们提出了分布式抽象测试法的一种骑跨实现技术，并详细讨论了它的测试结构和优缺点，同时我们给出了这种测试方法的一个具体实现并介绍了它在实际测试活动中的应用。最后我们讨论了骑跨式测试法在网络产品的互操作性测试中的配置结构以及它对互操作性测试生成的影响。     

航空机载软件测试工具链设计与应用

随着航空机载软件研制能力的发展,对传统的、以人工为主的软件测试提出了挑战。基于DevOps思想,测试团队提出了一种航空机载软件测试工具链设计方案,实现了机载软件的自动化测试。开发人员提交代码后可以更快的得到反馈,软件错误也能更快的得到修复。同时,设计的交叉测试环境采用虚拟化和仿真的手段,使嵌入式软件能够在普通的电脑运行和测试,解决嵌入式软件测试硬件不足的问题。测试工具链在航空机载软件测试中得到了很好的应用。     

一个基于下推自动机的Web测试自动执行器

随着Web应用系统的广泛应用，对其质量要求也越来越高。如何进行有效的测试以保证Web应用系统的质量是值得关注的研究问题。支持测试用例自动执行的测试执行器（Test runner）是其中的一个热点和难点。文章研究并提出了基于下推自动机的Web测试自动执行器，并实现了其原型系统。谊执行器支持测试用例的自动执行并给出测试结果报告，并通过Web应用测试实例验证了其有效性。     

分布式软件系统兼容性自动测试用例的研究与开发

探讨了对网络作业负载均衡系统NISF进行兼容性自动测试的意义，技术难点以及解决措施，例举了一个典型兼容性自动测试用例的设计和实现，探讨了自动测试用例的功能特性，提出了开发自动测试用例的模式，讨论了自动测试信息的保存和分析，提出了如何改进自动测试用例质量的措施。     

基于测试需求的互操作性测试用例生成方法

网络化应用将成为未来软件技术发展的主导模式。为了保证网络化应用之间能够有效地协同工作,必须对其进行互操作性测试。互操作性测试具有测试需求复杂易变、测试用例设计困难的特点,因而需要消耗大量成本。为此,提出一种基于测试需求的互操作性测试用例生成方法。该方法采用模型驱动的测试思想,以测试需求模型描述互操作性测试需求,以状态图描述各被测应用的规格说明,通过两者的结合生成满足测试需求的测试用例。     

基于规则引擎的测试用例自动生成方法研究与实现

测试用例自动生成是软件自动化测试的基础与关键。本文实现了基于规则引擎的自动测试用例生成技术,探讨了相应的测试覆盖准则,分析了测试数据的生成。     

Automated metamorphic testing on the analyses of feature models

Context

A feature model (FM) represents the valid combinations of features in a domain. The automated extraction of information from FMs is a complex task that involves numerous analysis operations, techniques and tools. Current testing methods in this context are manual and rely on the ability of the tester to decide whether the output of an analysis is correct. However, this is acknowledged to be time-consuming, error-prone and in most cases infeasible due to the combinatorial complexity of the analyses, this is known as the oracle problem.

Objective

In this paper, we propose using metamorphic testing to automate the generation of test data for feature model analysis tools overcoming the oracle problem. An automated test data generator is presented and evaluated to show the feasibility of our approach.

Method

We present a set of relations (so-called metamorphic relations) between input FMs and the set of products they represent. Based on these relations and given a FM and its known set of products, a set of neighbouring FMs together with their corresponding set of products are automatically generated and used for testing multiple analyses. Complex FMs representing millions of products can be efficiently created by applying this process iteratively.

Results

Our evaluation results using mutation testing and real faults reveal that most faults can be automatically detected within a few seconds. Two defects were found in FaMa and another two in SPLOT, two real tools for the automated analysis of feature models. Also, we show how our generator outperforms a related manual suite for the automated analysis of feature models and how this suite can be used to guide the automated generation of test cases obtaining important gains in efficiency.

Conclusion

Our results show that the application of metamorphic testing in the domain of automated analysis of feature models is efficient and effective in detecting most faults in a few seconds without the need for a human oracle.