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

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

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

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

基于构件的测试脚本复用技术研究*

研究了自动化测试脚本及基于构件的软件复用技术,提出一个测试脚本构件模型TSCM。该模型结合测试脚本特性,在借鉴现行软件构件模型基础上加入构件连接子增强测试脚本构件的独立性和可复用性。设计了TSCM模型的XML框架,实现了测试脚本构件自动生成、验证及不同测试语言之间的自动转换。     

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

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

一个面向对象软件自动测试框架的设计和实现

介绍了一个测试用例驱动的面向对象软件自动化测试框架(简称为TCDA).TCDA使用UML作为形式化的分析和设计规格说明,从UML的体系结构视图中自动获取测试用例,并以XML的形式保存这些测试用例.TCDA可以根据具体编程语言,将测试用例翻译成由一系列源文件组成的测试脚本.测试执行过程中,测试脚本首先会被编译和链接,生成可执行文件,接着这些可执行文件将被运行,同时测试结果将被记录和分析,并最终生成一个结果分析报告.TCDA的原型系统使用Java实现.该系统包括测试配置、测试用例生成、测试脚本生成、测试执行和结果分析五个模块,分别支持以上描述的过程.     

基于XML封装关键字的GUI自动化测试系统

研究如何提升Web应用程序自动测试效率的问题.利用XML技术设计并封装关键字,完成自动化测试脚本的编写,自动测试引擎解析XML文件,解释关键字,导航测试执行并生成报告.以ERP产品的应用案例表明该系统达到了测试脚本分层设计,提升可读性和可维护性,降低编写难度,提升效率的目的.     

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

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

基于控件约束关系的Web功能测试系统

设计一种基于XML描述和网页结构分析的Web功能自动化测试系统,利用控件约束规则自动生成测试数据和测试用例,记录用户在所有页面中进行的有序操作,并用XML语言描述。参照工作流的定义规则定义测试流。通过采用测试流和自动生成的测试数据,系统可以模拟用户手工测试,从而实现自动化测试,提高测试效率。     

基于控件约束关系的Web功能测试系统

设计一种基于XML描述和网页结构分析的Web功能自动化测试系统,利用控件约束规则自动生成测试数据和测试用例,记录用户在所有页面中进行的有序操作,并用XML语言描述。参照工作流的定义规则定义测试流。通过采用测试流和自动生成的测试数据,系统可以模拟用户手工测试,从而实现自动化测试,提高测试效率。     

基于.NET的单元测试自动化方法研究

本文在.NET的框架下,运用Reflection,CodeDom以及与Excel、XML相结合的应用技术,完成了自动生成测试数据、测试脚本,还运用程序切片技术快速找到缺陷部位,改进了单元测试.实现了单元测试的自动化.     

A high order collaboration and real time formal model for automatic testing of safety critical systems

The need for safety critical systems (SCS) is both important and urgent, and their evaluation and verification are test-dependent. SCS are usually complex and very large, so manual testing of SCS are infeasible in practice, and developing automatic test approaches for SCS has become an important trend. This paper defines a formal semantics model for automatic test of SCS, called AutTMSCS, which describes behaviors in SCS testing. The model accommodates the high order collaboration in real time and temporariness of SCS testing. Testing tasks, test equipment and products under test are abstracted and architected in three layers, and a method for automatic testing is given. Based on extended label transition system (LTS), the convergency and correctness of the model are proved to demonstrate the computability of the model, indicating that the testing process of SCS can be automatic.     

安全苛刻系统自动化测试的形式化语义模型

安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.     

基于XML脚本的代码生成技术及其应用

针对现代大规模软件开发过程中遇到的重复代码编写问题,提出了一种基于XML脚本的自动代码生成技术。它首先介绍了自动代码生成技术;然后介绍了XML脚本标记语言;最后描述了TSL模板脚本语言在图形化用户交互系统中的应用。该技术采用XML文件描述软件业务领域的数据关系,提出了控制XML文件的通用脚本语言,操纵XML文件数据,并结合模板技术控制输出代码的格式。通过实际的软件开发过程证明,该技术在很大程度上减轻了开发人员编写重复代码的负担,提高了软件开发的效率和质量。     

数据驱动在无线网卡加密自动化测试工具的应用

本文介绍了一个数据驱动的框架,并在VC 6.0利用XML文件作为控制脚本,实现了一个简单的无线网卡加密部分自动化测试工具。测试人员只要修改相应的AP及DUT表就可产生新的测试用例,便于测试用例的产生和更新。     

数据驱动在无线网卡加密自动化测试工具的应用

本文介绍了一个数据驱动的框架,并在VC＋＋6．0利用XML文件作为控制脚本,实现了一个简单的无线网卡加密部分自动化测试工具。测试人员只要修改相应的AP及DUT表就可产生新的测试用例,便于测试用例的产生和更新。     

循环嵌套结构的测试场景反蚁群自动生成方法

人工测试方法的缺点是成本高、可靠性低和效率低.基于模型的软件测试方法能够提高测试自动化水平,避免人工测试的缺点.然而,自动化方法的缺点是处理模型中各种图形元素的能力有限,适用范围小.针对现有智能算法不能生成UML活动图循环嵌套结构的测试场景,设计系统循环体数据结构和循环嵌套结构的场景生成算法.该算法提高了解析活动图的能力,扩大了算法的适用范围.论文最后给出了上海轨道交通六号线的测试项目中的一个活动图实例,生成其XML文档,利用改进的反蚁群算法解析XML文档,生成该活动图的细-线程树,验证了该算法的有效性.     

基于XML脚本的代码生成技术及其应用

针对现代大规模软件开发过程中遇到的重复代码编写问题,提出了一种基于XML脚本的自动代码生成技术。它首先介绍了自动代码生成技术;然后介绍了XML脚本标记语言;最后描述了TSL模板脚本语言在图形化用户交互系统中的应用。该技术采用XML文件描述软件业务领域的教据关系,提出了控制XML文件的通用脚本语言,操纵XML文件数据,并结合模板技术控制输出代码的格式。通过实际的软件开发过程证明,该技术在很大程度上减轻了开发人员编写重复代码的负担,提高了软件开发的效率和质量。     

仿真环境下基于XML模式的脚本生成系统研究

脚本生成系统是仿真开发工具的重要组成部分,它的主要功能是生成能够直接驱动仿真系统的脚本,并且支持对各种脚本的管理和维护。该文着重论述了建立脚本生成系统所需要的关键技术和系统的实现方法。系统引入了XML模式技术以实现其主要功能,包括想定和脚本的验证、将XML格式的想定转换为XML格式的脚本以及生成新的脚本实体。实践表明．该系统能够快速地生成脚本并对脚本进行有效地管理。     

基于XML的数据库自动部署方案

使用可扩展标记语言XML来实现软件的自动部署是一种新技术。对关系数据库与XML的集成机制进行了研究 ,提出了关系数据库与XML的映射规则 ,在此基础上 ,给出了一个基于XML的数据库自动部署方案。