浅谈自动化测试的主要发展方向

自动化测试是把以人为驱动的测试行为转化为机器执行的一种过程。通常,在设计了测试用例并通过评审之后,由测试人员根据测试用例中描述的规程一步步执行测试,得到实际结果与期望结果的比较。在此过程中,为了节省人力、时间或硬件资源,提高测试效率,便引入了自动化测试的概念。本文对近几年自动化测试的技术发展趋势进行了分析和介绍。     

基于Python语言的GUI自动化测试脚本技术研究

针对嵌入式软件GUI自动化测试平台的开发设计,本文研究了Python测试脚本扩展嵌入技术,针对GUI软件测试行为扩展了测试函数,采用开源库Boost.Python将Python解析器嵌入GUI自动化测试平台软件中;在此基础上,描述了用例要素与脚本要素的对应关系,并且针对不同类型的扩展测试函数提出了基于关键字索引和图像建模的脚本函数自动生成技术方案;描述了Python测试脚本的调度执行原理,通过Python测试脚本执行实现GUI软件自动化测试。     

模型驱动的Web应用测试

为了保证Web应用软件的质量，需要系统化的方法支持其测试。模型驱动的Web应用测试方法以模型为中心，通过建立Web应用模型描述被测系统，基于该模型产生测试用例，并且使用模型驱动的测试执行工具自动化执行测试，将测试结果返回到各个模型上。该文通过总结比较该领域的研究现状，讨论了实现模型驱动的Web应用测试的关键技术，并提出了目前研究的不足之处及潜在的研究方向和重点。     

一种协议互操作测试系统开发框架

鉴于现有的协议互操作测试方法自动化程度不高,本文给出一种用于描述分布式通信系统的有限状态机模型,并基于该形式化模型和被动测试的思想提出一种协议互操作测试系统开发框架,遵循该框架开发的测试系统能够自动分析被测系统每次通信从属的协议过程,并自动验证报文和流程的正确性。     

基于Spring Boot的自动化测试控制系统

本文介绍了一种基于Spring Boot框架的自动化测试控制方法,该方法被应用于实验室等复杂环境下自动化测试控制系统。经实际使用可以论证,该方法除了能够完成基本的自动化测试任务执行外,还具备满足个性化需求、开发成本低、容易部署和维护等优势。     

一种数据模型驱动的软件自动化测试框架

针对当前GUI程序自动化测试过程中存在的问题,设计实现一种基于RFT工具、由数据模型驱动并且支持分布式多平台网络环境的可复用软件自动化测试框架。该框架分离了测试对象、用例数据、用例逻辑和执行控制,实施该框架能够增强测试用例的可复用性,降低测试用例的维护成本,提高测试执行的自动化程度,改善软件回归测试的过程。     

支持测试节点按需调整的分布式测试调度模型

针对分布式测试系统动态调整测试节点能力差、测试总体效率低的问题,提出一种实用的支持测试节点按需调整的分布式测试调度模型。该模型利用M/M/N排队理论描述分布式测试任务到达和处理的概率分布,提出待处理强度指标来动态调配测试节点,基于此建立任务调度数学模型,并利用0-1线性整数规划法求解,实现了分布式测试执行时间最短的目的。仿真实验结果证明,该模型可以根据测试需求的变化动态调整测试节点数量,利用简单实用的调度方法,有效地降低测试节点负载,提高了测试效率。     

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

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

一种环境感知的仿真服务调度模型

针对传统分布式仿真框架HLA/RTI中动态调度负载平衡较差、执行可靠性较低的问题,提出一种基于环境感知的仿真服务调度模型C3SM。C3SM模型包含总体结构、调度策略和服务部署。总体结构规定各个模块的功能与交互接口,调度策略采用改进的蚁群算法进行仿真服务的动态调度,服务部署采用重叠覆盖部署策略以保证较好的服务可用性和较低的资源消耗。仿真实验结果表明,与传统分布式仿真框架HLA/RTI相比,C3SM模型通过实时获取执行环境的上下文信息,能够获得较优的负载平衡度,且重叠覆盖的仿真服务部署策略使得仿真运行系统的可靠性明显提高。     

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

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

Linux下自动化测试执行管理工具的设计与实现

测试自动化是提高软件测试效率的重要途径。尽管各种测试工具具有强大的执行功能,但没有对测试过程和测试资源进行有效的管理。设计并实现了一个Linux下的自动化测试执行管理工具,侧重于测试执行管理和测试资源管理,并详细阐述了其总体构架、模块设计和关键技术。     

存储过程自动化测试的实现

存储过程的测试是一项非常繁琐的工作,一些数据库产品虽然提供了一些工具能够统计出存储过程的执行时间、返回记录数等信息,但是这些工具不能进行批量的重复的测试,而且测试结果的显示也不直观。针对这些问题,介绍了在Junit测试框架下实现存储过程自动化测试的方法,利用JUnit的自动化和生成的测试代码的复用,可实现存储过程的回归测试,利用XML技术存储测试用例和测试结果,实现测试用例和测试代码分离,提高了测试效率,为开发人员提供了直观的测试结果。     

基于STAF的故障注入自动化测试平台

为提高高端容错计算机故障注入自动化测试的执行效率,基于开源的自动化测试工具STAF,设计一个可集成多种故障注入工具的分布式自动化测试平台。论述分布式运行环境与平台软件架构,给出任务控制算法的流程,对故障注入模块进行分析。实验结果表明,该平台可提高测试任务的复用性,缩短测试时间。     

FADEC可靠性试验HIL仿真自动化技术研究

针对航空发动机全权限数字电子控制(FADEC)系统电子控制器可靠性试验中硬件在环(HIL)仿真测试的执行过程,开展了测试自动化技术研究,提出按名义执行时间设计脚本的分层封装方法,实现脚本模块执行时间误差受控,提高了脚本的模块化程度,有利于各层脚本执行时间的精确调试和顶层测试任务脚本的开发。设计了外部辅助脚本的自动流程整合方式,实现非自动化软件工具的快速整合,提高了自动运行流程的构建效率。经过某型电子控制器1000 h可靠性摸底试验验证,测试流程自动化运行流畅,报表输出完整,任务脚本执行时间误差稳定受控,满足试验过程的自动化需求。     

Test development for communication protocols: towards automation

In this paper we give an introduction to methods and tools for testing communication protocols and distributed systems. In this context, we try to answer the following questions: Why are we testing? What are we testing? Against what are we testing?... We present the different approaches of test automation and explain the industrial point of view (automatic test execution) and the research point of view (automatic test generation). The complete automation of the testing process requires the use of formal methods for providing a model of the required system behavior. We show the importance of modelling the aspects to be tested (the right model for the right problem!) and point out the different aspects of interest (control, data, time and communication). We present the problem of testing based on models, in the form of finite state machines (FSMs), extended FSMs, timed FSMs and communicating FSMs, and give an overview of the proposed solutions and their limitations. Finally, we present our own experience in automatic test generation based on SDL specifications, and discuss some related work and existing tools.     

Designing and Conducting an Empirical Study on Test Management Automation

Test management aims at organizing, documenting and executing test cases, and at generating execution reports. The adoption of a support tool and of a standard process for such activities is expected to improve the current practice. ITALO is a European project devoted to the evaluation of the benefits coming from test management automation. In this paper the experiences collected and the lessons learned during ITALO are summarized. A formal methodology was adopted for the selection of a support tool among those available from the market. A survey of the current practice in component testing was conducted to adapt the existing process model so as to obtain the greatest benefits from automation. An empirical study was then designed to measure the effects that are expected to be produced by the new test process complemented with the introduction of the support tool. Three pilot projects were conducted to measure the benefits obtained from tool usage and process modification. Results are presented and discussed in this paper.     

基于设计模型的信息系统自动测试方法

针对当前自动测试领域存在的问题，提出了一种基于设计模型的自动测试方法（Model Based Automated TestIng System，MATIS）。该方法利用用户界面自动生成方法，把设计模型中的类属性定义和实现中的控件属性组织在一起，构建描述界面的逻辑对照表，辅助测试脚本引擎执行自动测试脚本。借助设计模型中扩展的类定义，MATIS方法可以自动生成测试用例和测试数据。MATIS方法是一个较轻量级的方法，更贴近于实际的软件开发过程，可以有效地降低自动测试成本。     

An approach to creating concretized test scenarios within test automation technology for industrial software projects

The paper describes an approach for creation of effective test automation technology for industrial software projects based on a formal model of the system under test, performing its automatic symbolic verification of the model and generation of symbolic traces, then their automatic concretization, generation and execution of test suites. The technology includes means for test results analysis and tests correction and update. High quality of software products is ensured by a balance between static (verification) and dynamic (testing) analysis techniques starting from the earlier development phases and through automation of all phases of software development. Special emphasis is made on presentation of the algorithm of concretization and configuring test scenarios.     

基于脚本的构件测试自动化框架

针对传统的测试自动化技术已不适用于构件的问题,提出基于脚本的构件测试自动化框架。将面向对象单元测试自动化框架xUnit与数据驱动的测试框架结合并改进,实现构件测试脚本自动生成、测试脚本自动执行、测试结果自动验证与记录。实例表明,该框架能有效对构件进行自动化测试,自动化程度较高。