模型驱动的测试用例自动生成框架

资料

第3 7卷第 1期V_ _7 0 3 l

计

算

机

工

程

21 0 1年 1 月J n a y 01 a u r 2 1

No. 1

Com p t rEng n e i g ue i e rn

软件技术与数据库

文章编号； o _ 48 0 )—o3— 2 lo 32( 1o _ 9 2 11 0

文献标识码：A

中田分类号： 95 N4

模型驱动的测试用例自动生成框架刘扬，李亚芬，王普(北京工业大学电子信息与控制工程学院，北京 1 0 2 ) 0 1 4摘要：提出一个基于模型驱动架构( A) MD的测试用例生成框架，其中，平台无关的系统模型通过水平转换成平台无关的测试模型，平台

无关的测试模型通过竖直转换生成相应的测试用例。利用 MD A转换工具 A L MO S r t T和 F c p制定相应的转换规则作用于元模型， i使测试者只须提供源模型和测试数据即可生成相应的测试用例。 关健词：模型驱动架构；平台无关模型；平台无关测试模型；测试用例

Au o a i n r to a e r f o e . r v n Te tCa e t m tc Ge e a i n Fr m w0 k o d 1d i e s s s MLI Ya g LI a f n W ANG Pu U n, Y -e,

( ol eo Eet ncIfr t nadC nrl n ier g B in nvri f e h oo y B in 0 14 Chn) C l g f l r i nomai n o t gn e n, e igU ies yo T c n lg, e ig10 2, ia e co o oE i j t j [ sr c|T i pp r rp ssats cssgn rt nf me r ae nMo e ie c icueMDA)i ihPafr— dp n e t Abtat hs ae o oe t ae eeai a wokb sdo dl v nArht tr( p e o r Dr e,nwhc lt m I e ed n o nMo e( I i c n etd it lt r— d p n e t e t I ) d lh o g v l o v ri n a dpaf r— d p n e t e t d l s o v r d d l M) s o v r oaP af m I e e d n s P T mo e tr u hl e c n eso, n lt m i e e d n s mo e n et P e n o n T ( e o n t ic ei t h

o r s o d n e tc s s t r u h v ri a o v r i n.M DA o v r i n t o s i c u i g ATL n OF c i t a e u e o d v l p t e n o t e c re p n i g t s a e h o g e c lc n e so t c n e s o o l n l d n ad M S rp r s d t e e o hc r s o i g r n f r a i n u e a t g o h me a mo e,S ha e t r o l n e r v d s u c mo e a d t s t t e e ae t e ore p nd n ta s o m to r l s c i n t e n t d l O t t t se s n y e d p o i e o r e d l n e t daa O g n r t h c re p n i g ts a e . or s o d n e t s s c

[ yw r s Mo e— ie rht tr( Ke o d] dl v nA c icueMDA)Pa om d pn et d l I; lfr d p n et et I ) d ltscs - Dr e; lt r e ed n e( M)Pa om e e dn s PT mo e;et ae f I n Mo P t I n T (D0l 1.9 9 s.0 032 . 1 .1 1: 3 6/i n10—4 82 O . 4 0 js 01 0

l概述模型驱动测试是一种基于模型的测试，它利用了模型转换技术，包括模型、元模型和转换规则，其中，转换规则定义了元模型各元素之间的映射 j基于模型驱动架构。( d l r e ci cue MDA的测试是在软件开发早期， Moe— i n ht tr, D v Ar e )

均可直接转换生成测试用例。在水平转换中，系统模型的 PM I

可以转换为测试模型 P T再由 PT转换到 P T, I, I S或者由 PT I直接生成测试用例。与之类似，P M可以转换到 P T,再由 S S P T转换到测试用例。对比这 2条水平转换的路线，一个是 S由 PM转换到 PT I I,一个是由 P M转换到 P T S S,它们在本质上是一样的，都是由系统模型转换到测试模型。不同的是， PM、PT是比 P M、P T更为抽象的模型，并且均是平台 I I S S 无关的模型，因此，PM转换到 PT要更具有代表性，应用 I I范围更加广泛，而且易于实现

。系统模型图测试模型图

即在业务逻辑建模时开始软件测试工作。在构造完平台无关

模型(lt r Id pn e tMo e I后，用基于模型的转 Paf m— ee dn d l M) o n,P换方法生成相应的平台无关测试 (l fr Idp n etT s Pa om— eed n et t n

PT模型；随 PM转换到特定平台上的平台相关模型(S I) I P M)由测试模型生成相应的测试用例。 PM进行分析的同时也对 I能发现其本身的缺陷，及时排除，防止缺陷随着软件开发过程的进行而被放大。

当软件的实现技术变化或平台迁移时，一般通过定义 PM到新的 P M的映射实现软件开发， I S同时定义并实现从测试模型到新平台的测试用例的转换，这样通过复用测试模型节省了测试成本。当软件需求发生变化时，用 PM来捕获变 I化的需求只需从新的 PM重新生成新的测试模型， I其余的处理与原来一样，这样能够灵活处理不断变化的需求。图 1模型驱动试的基本框架

测试用例是为某个特殊目标而编制的一组测试输入、执行条件以及预期结果，以测试某个程序路径或核实是否满足某个特定需求。本文基于 MD技术提出了模型驱动测试的 A基本框架，由该框架确定生成测试用例的具体方法。

此外，因为转换生成的 PT S一般不是很完整的， I、P T 所以在每个转换步骤之后，通过相关的模型工具可以对测试模型进行精化。精化之后的 PT S可以用于共下一阶段 I、P T的模型转换。

2基于 MD A的测试用例生成框架2模型驱动测试的基本框架 . 1MD A体系可以应用在系统模型和测试模型上，模型驱动测试的基本框架如图 1所示。在竖直转换中，左半部分的 J PM可以转换成 P M, S再转换到系统代码。与系统模型 I S PM的转换类似，右半部分的 PT转换成 P T模型，PT和 P T I S I S

2测试用傍生成过程 . 2基于上文的分析，在水平转换中选择 PM到 PT的转换 I I作为研究对象。在竖直转换中，由于现阶段只对 PM测试， I作者简介：刘扬( 8一), 1 3,女硕士研究生， 9主研方向：型驱动模普，教授

测试，We b应用技术；李亚芬，高级工程师；王

收稿日期：2 1——3 0 0 62 0

E ma:l y n一 17 6

. m - i i a g8 2@1 3 o l u 3 c

资料

计

算

机

工

程

2 1年 1 5日 01月

因此选择由 PT直接生成测试用例作为研究对象，即本文生 I成测试用例的过程是先由 PM转换成 PT,再由 PT转换为 I I I平台相关的测试用例，如图 2所示。

型更精确更完备。 本文用 U T来描述 PT测试模型。 2 P 2P I U T是基于 U 2 ML . 0

的测试建模语言，可用于从单元测试到系统集成测试各个级别的测试建模。它基于 MOF,可以独立于 U ML使用。4个逻辑概念组织起来共同构成了 U T 2 P:测试架构 (et Ts ac i c r)试行为 (et eair,测试数据 (et a ) rht t e,测 eu T sb hvo) T sd t, a测试时间(eti e。T saci cue指定了 U2 P的结构； T st ) et rht tr m e T

图2

试用倒生成过程

T sbh vo指定了 U2 P的行为； et aa代表贯穿 U T et e air T T s dt 2P测试行为始终需要的数据；T s t是对 U2 P测试行为的 et i me T量化。

3测试用例生成方法对于 PM系统模型，本文用目前最为流行的 U I ML图表示；而对于 PT测试模型， 2 0年 O I用 04 MG提出的 U T ( ML 2 PU 2 et gPoi )表示；对于具体的可执行测试用例，选 . T s n rfe来 0 i l用基于 Jv aa平台的 J nt U i单元测试用例。

对于 PM到 PT的转换，本文选择了 A L的转换方法。 I I TAT L是 A L T AS转换语言的简称， A L是 T AS研究组开发出来

的一种符合 O MG的一个 QV T提案的模型转换语言，其基于E (c peMo e n rme ok。本质上，A L属于基于 MFE l s i dl gFa w r) …… 此处隐藏：4854字，全部文档内容请下载后查看。喜欢就下载吧 ……