基于SOA的模型驱动测试应用研究

随着应用系统规模增大,功能复杂性增强,对于用于保证软件质量的现有软件测试技术显得越来越力不从心。特别是近几年兴起的基于模型驱动架构的分布式并发系统对软件测试提出了更高的要求。模型驱动测试从系统层面上分析测试系统,根据系统需求说明书和测试任务,设计系统测试模型,生成测试代码,执行测试过程,大大提高了软件测试的效率。本论文基于模型驱动架构设计一个功能简单的货币交换Service,阐述模型驱动测试软件测试过程。

基于程序分析的通信软件模型驱动测试研究

针对通信软件的模型驱动测试框架中出现的测试生成问题,对MSC测试模型的测试生成方法进行改进,获得有效的系统测试集。采用符号执行和程序分析相结合的方法,收集生成的约束、测试脚本变量与被测系统变量之间的映射关系,据此生成测试模型,进一步进行模型验证和测试生成。这种方法可以对原有的测试集合进行半自动的扩展,对关心的程序路径进行测试覆盖,从而提高测试集合的有效性和完备性。

模型驱动的自动化测试架构

如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要。在实际工作中基于MDT的思路研究出了一种基于模型驱动的自动化测试架构。该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策略和测试工程方法自动生成测试用例,实现了测试资源重利用和测试活动的前移从而有效缩短了测试周期。

一种模型驱动的协议测试故障注入引擎设计

故障注入是一种测试协议实现容错能力的有效方法,而基于模型的故障描述方法能够提高测试的可视性和有效性。提出一种面向协议测试的故障注入引擎,并采用模型驱动的方法,通过测试模型指导故障注入活动,具有移植性强、简便高效等特点。

模型驱动的分布式测试执行自动化研究与实现

随着分布式应用在商业领域中的普及,对可用于有效缩短产品上市周期的分布式测试自动化技术的研究显得日益重要。提出了一种模型驱动的自动化测试方法,并将其应用于分布式测试中。为了能够支持分布式测试执行,提供了部署和调度两个测试模型,其中,部署模型描述了测试执行环境和脚本分发的情况,调度模型描述了远程测试执行机的调度运行顺序;为了能够实现测试执行的自动化,设计了一个分布式测试执行框架。最后,通过Web应用测试的实例验证了该方法能有效减少测试时间。

模型驱动的EJB构件测试建模研究

基于对Web系统的特点研究,提出了一个全面测试Web系统的框架.并基于模型驱动的软件测试思想(MDT),重点研究了此框架中的中间业务逻辑层的测试建模方法:定义了一个平台相关的测试模型(PSTM)——EJB构件测试模型;并给出了对它的模型复原算法和模型一致性检测方法.该测试建模方法,从软件构件的层次,实现了EJB静态结构和动态行为的建模,并通过模型一致性检测实现EJB代码的潜在缺陷检查.这一测试模型将为测试用例和测试数据的生成提供有力的支持.

活动图模型驱动的Web应用程序测试方法

提出了一种活动图(AD)模型驱动的Web应用程序测试方法,从活动图中生成满足往返路径覆盖准则的测试序列,基于测试输入语法生成驱动测试序列执行的测试数据,将测试数据整合到测试序列中生成测试用例,运行测试用例进行测试并生成测试结果的报告。实现了一个原型工具以支持活动图模型驱动的Web应用程序测试方法,设计并完成了一个实验,验证了该方法的可行性与有效性。

基于模型驱动的嵌入式软件测试技术研究

软件测试是保证软件可靠性的一种最重要的手段,而软件自动化测试又是保证软件测试效率的一种十分有效的方式。基于模型驱动的软件测试是一种自动化程度较高的测试方法。论文对模型驱动测试技术进行了综述,对测试需求建模、PIM转换到测试模型、测试用例生成方法的相关文献进行了调研。

基于XP的测试驱动过程模型研究

分析了敏捷过程和极限编程的价值观、实现准则,论述了测试驱动开发的核心理念及其过程.并在分析传统软件生命周期模型的基础上,提出了测试驱动过程模型,并对测试驱动过程模型进行了详细阐述.通过实验对比,分析了其相对于传统开发模型高效率、低成本、适应需求变化的特点,具有可操作性.

一种测试驱动的过程模型研究

分析了敏捷过程和几种传统软件生命周期模型,在总结测试驱动开发核心理念的基础上提出了测试驱动过程模型,并对测试驱动过程模型进行了详细阐述.通过在.net平台上进行文件管理系统的开发,分析了其相对于传统开发模型高效率、低成本、适应需求变化的特点,具有可操作性.

模型驱动的Web应用测试

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

测试驱动过程模型效益分析

在分析传统软件生命周期模型,讨论敏捷过程及开发方法的基础上,对测试驱动开发的核心理念及其过程进行了研究,提出了测试驱动过程模型。通过实验对比,分析了测试驱动过程模型相对于传统开发模型效益优势,总结了其高效率、低成本、适应需求变化的特点。

针对模型驱动的Web应用测试的Web CraWler的设计和实现

模型驱动的Web应用测试的第一步是建立被测Web应用的模型,作为生成测试用例的基础.但是,通常Web应用开发过程中相关文档较少,所以为在工程实践中应用模型驱动的Web应用测试,需要逆向建立被测Web应用模型.而逆向建立被测Web应用模型的基础之一是网页抓取技术(Web Crawler).本文首先介绍了网页抓取技术及其研究现状;然后分析了模型驱动的Web应用测试对网页抓取技术的需求;在阐述系统设计、实现之后,进行了总结与展望.

模型驱动的嵌入式系统测试脚本生成方法研究与实现

自动化测试通过机器运行事先准备好的测试脚本进行测试,提升了软件测试效率。然而,测试脚本存在着编写专业性强、调试工作量大、维护成本高、难以复用等问题,成为自动化测试技术难以广泛使用的主要技术瓶颈。以嵌入式系统为测试对象,提出了模型驱动的测试脚本生成方法。该方法根据BPMN2.0建模标准对测试业务流程进行可视化建模;采用路径深度覆盖算法生成测试路径,根据路径上的约束条件生成测试输入参数;通过自定义的测试动作原语将测试路径和输入参数转化为可在嵌入式系统测试平台ETest上自动执行的测试脚本。实现的原型系统支持嵌入式系统的配置项级和系统级的测试脚本生成,提高了测试工具的易用性和测试模型及脚本的可理解性、可复用性和可维护性。

测试驱动过程模型在辅助决策系统开发中的应用

为了解决辅助决策系统中模型、知识和数据的选择问题,在辅助决策系统开发过程中引入测试驱动过程模型,并对测试驱动过程模型及其开发步骤进行详细分析.以空调机组的辅助决策系统开发为例,研究测试驱动过程模型应用在辅助决策系统开发过程中的方法.最后以确定预测模型为例,说明测试驱动开发模型应用在模型和知识选择中的具体流程,并验证其优点.案例表明在辅助决策系统开发过程中应用测试驱动过程模型,开发过程更加有针对性,模型、知识和数据的选择更加明确.

基于JUnit和元模型的模型存储测试设计与实现

在模型驱动测试中,针对测试模型的存储测试问题,提出了单元素、单个测试元模型、组合测试元模型等测试覆盖准则,并通过实例化的方法生成了测试用例,讨论了测试结果的判定方法.在Eclipse平台上,借助于JUnit框架实现了模型存储测试.通过分析不同数量级的测试用例对执行效率的影响以及不同测试覆盖准则和相应的JUnit测试代码规模之间的关系,为测试元模型的设计与存储提供了实践指导,并表明JUnit框架可以用于基于元模型的测试.提出了一个基于JUnit和元模型的自动测试框架——JMetamodel,可以用于模型存储以及模型转换的测试.

UML顺序图驱动的动态行为测试

提出了一个模型驱动的测试方法,基于UML顺序图模型生成测试用例,并利用模型指导对程序的插装以收集运行时行为信息,执行测试后可以通过分析预期执行轨迹和运行时执行轨迹的一致性来确定顺序图描述的系统预期行为是否被正确实现。实现了一个原型工具,对上述方法提供支持。

面向TTCN-3性能测试的负载生成方法

TTCN-3(Testing and Test Control Notation version 3)是一种面向黑盒测试的测试描述与实现语言.随着TTCN-3语言的广泛应用,用户对使用TTCN-3进行性能测试的需求日益强烈.然而,TTCN-3语言没有提供有效的负载描述和产生机制.目前,在使用TTCN-3产生性能测试的负载时,通常需要依靠大量的人工编码.该文提出了一种模型驱动方法以更加有效地支持面向TTCN-3的负载生成.在该方法中,负载指标模型用于刻画负载指标及约束关系;负载剖面模型则能够定义指标的取值及指标值随时间变化的情况.基于这些模型,该文提出的算法能够完成从模型到TTCN-3测试系统的自动转换.TTCN-3测试系统可在负载控制点的支持下得以执行,从而模拟出满足模型描述的负载场景.该文通过案例分析验证了上述方法的有效性和所模拟负载场景的准确性.

基于日志的Web系统互操作测试用例扩充方法

随着Web的发展,多应用Web系统成为一种主流形式,它能够为用户提供综合便捷的服务。Web系统中各应用间的交互直接影响着Web系统的功能性和可靠性,互操作性已经成为Web系统的主要特性之一。相较于传统软件系统,Web系统更新升级更为频繁,回归测试是保障Web系统质量的重要手段。针对以上问题,提出了一种基于访问日志的Web系统互操作性测试用例集扩充方法,利用Web系统独有的日志信息,在回归测试阶段对测试用例集进行扩充。该方法采用模型驱动测试的思想,使用顺序图对测试目标进行建模,转化成基础测试序列,然后将Web系统日志信息进行筛选、合并、解析,进而得到用户访问序列,将两种序列按照一定规则进行匹配,并结合相应的扩充规则对当前测试用例集进行扩充。

基于反馈的可信网络软件验证与测试集成框架研究

形式化方法被认为是高可信软件工程必不可少的工具,但是软件测试依然是提高软件质量最有效的方法.为此基于TTCN-3的测试集成环境,提出一种基于反馈的框架,可扩展地集成形式化规约和形式化证明方法,并把形式化方法和测试工程有效地结合起来,提高了测试的充分性和必要性.