从UML设计模型到测试模型研究.docVIP

从UML设计模型到测试模型的研究 　　摘要：为保证软件测试与设计的一致，分析了UML设计模型和UTP测试模型的异同点，提出了从设计模型到测试模型的映射过程。通过实例说明如何从UML设计模型转换为UTP测试模型的过程。此方法可为模型驱动体系结构中设计模型和测试模型的自动转换提供支持。?? 　　关键词：标准建模语言的测试扩展;标准建模语言;设计模型;测试模型;映射?? 　　中图分类号：TP311文献标志码：A 　　文章编号：1001－3695(2007)05－0056－04 　　?? 　　0引言?? 　　 　　随着软件系统的规模和复杂性不断增长，模型已成为软件开发过程中的重要产物。2003年OMG提出的模型驱动体系结构（Model Driven Architecture, MDA）[1]更以模型为中心，将模型和实现分离，通过模型转换器生成程序代码。模型通常是特定领域的模型，如规格说明的模型、代码生成的模型、测试的模型。这些模型是根据不同目的提取出的实现体的简化，反映了系统的不同侧面。在软件开发过程中，设计模型和测试模型是不可缺少的部分，无论是V模型、螺旋(Sprial)模型、统一过程(Unified Process)，还是MDE（Model Driven Engineering，模型驱动开发）。其中设计模型描述了系统开发的蓝图，说明系统是如何实现需求的；测试模型表示在测试目标下的被测对象模型（它可以是系统或系统的一部分），包括测试用例、测试过程和测试脚本等与测试相关的描述。设计模型和测试模型都体现了系统需求，只是应用领域、应用目的不同。因此设计模型与测试模型之间存在很多联系和差异。?? 　　软件开发过程中，测试与设计过程同步进行，并贯穿于整个系统开发过程。为了保证设计与测试的同步和一致，从设计模型到测试模型的转换方法将为其提供有力的支持。目前从设计模型到测试模型自动转换的研究成果不多，更多的研究集中在从设计模型直接生成测试代码。直接生成测试代码的优势在于快速生成测试代码；不足之处在于缺少对测试的描述，很难复用、演化以及根据用户需求定制测试代码。随着MDA兴起，模型转换技术为快速建立可复用、可扩展、可演化的模型提供支持，从设计模型到测试模型的转换将成为MDA中的研究方向之一。MDA将模型转换分为水平转换和垂直转换[2]。设计模型到测试模型的转换属于水平转换，水平转换更多关注于模型间概念的区别与联系。因此分析设计模型与测试模型间的异同是两个模型转换的基础。文献[3]提出一套方案来扩展和修改UML设计模型并建立测试模型，通过实例说明如何从UML设计模型生成测试模型；但未对设计模型与测试模型间的元素进行分析，也未给出模型间的转换规则和实现方式。文献[4]认为UML与测试是完美的结合，综述已有的基于UML各个图的测试方法，介绍了如何将UML中的概念映射到UTP（UML for Testing Profile）中，但未从元模型上指出概念间的映射。由于设计模型与测试模型属于不同领域，本文未明确指出两者之间存在的差异。为支持从设计模型到测试模型的转换，本文分析了设计模型与测试模型之间的区别和联系，并在此基础上说明如何实现从设计模型到测试模型的映射。?? 　　 　　1基本概念?? 　　 　　1．1UML设计模型?? 　　软件设计阶段是设计人员设计符合需求的设计模型的过程。设计模型说明了系统是如何实现的，它主要从结构、行为、约束三个方面描述系统的功能设计。不同的软件开发过程，设计模型的表示和描述的系统抽象级别会有所不同，如瀑布型软件开发过程中，设计主要分为系统设计阶段和程序设计阶段。其中系统设计阶段的设计模型主要包括系统及子系统的结构图，以及子系统间的交互；RUP中的设计主要集中在细化（Elaboration）阶段，产生系统高层体系结构以及系统构件详细设计的草图；MDA将设计模型分为PIM（平台无关模型）和PSM（平台相关模型）。?? 　　OMG推出的UML已成为可视化面向对象建模语言的工业标准，广泛用于描述软件模型。它以简单、易理解、可视化的方式帮助系统相关人员理解系统并促进相互间的交流。RUP、MDA等建议在软件开发过程中使用UML为系统开发的不同阶段建模。2005年推出的UML 2.0吸取了以往UML改进建议的研究成果[5]，在元模型中针对构件图添加了结构化类属、连接件、端口等概念，并强化了构件、接口、协作、模板等机制；行为建模方面，改进了对封装和伸缩性的支持，去掉了从活动图到状态图的映射，活动图不再是一种特殊的状态图，同时允许形式化地表示状态机；顺序图增加了交互框(Interaction Frame) 标志，通过增加条件分支和循环等标记方法或改进单个的标记方法，使得绘制顺序图更加容易，并能构建更复杂的现象。为使