基于UML顺序图的场景测试用例生成方法

              图3是DHCP中Server类的状态图。

javascript:return big(this)" title=点击图片可在新窗口打开 style="CURSOR: pointer" alt=y src="https://www.ltesting.net/attachments/2009/03/110593_200903060918353Wkuq.jpg" onload="javascript:if(this.width>498)this.style.width=498;">

图3：DHCP-Server状态图

2、UML顺序图的一个形式化定义

        为了能在测试中找出所有的场景，下面给出顺序图的形式化定义：

        定义1（顺序图）顺序图SD可以表示为一个六元组：SD=，其中：

◆O={O1, O2, …,Om}，是对象的集合。O1, O2, …，Om都是顺序图中的对象。

◆M guard′message′name′parameter_list，是消息的集合。顺序图中的每一个消息都形如：“[卫士条件]消息名(参数)”。

◆E=M {s, r}，是事件集合。事件是指消息的发送和接收。对于消息msg，发送事件用表示，接收事件用表示。顺序图中所有发送消息事件的集合记为S，所有接收消息事件的集合记为R。S?R=?, SèR=E。

◆→是消息集合M上的一个全序关系，表示顺序图中的消息在纵向时间轴上的先后关系。

◆msg是从E到M的一个函数关系，msg(e) M表示事件e所对应的消息。

◆Obj是从E到O的一个函数关系，obj(e) O表示时间e所对应的对象。对象Oi上所有事件的集合记为Ei，Ei＝{e | e Eùobj(e)= Oi }。

        在如图4所示的顺序图中：

O={obj1,obj2,obj3}; M={m1,m2,m3};

E={(m1,s),(m1,r),(m2,s),(m2,r),(m3,s),(m3,r)};

→=m1→m2→m3.

图4：一个简单的顺序图

文章来源于领测软件测试网 https://www.ltesting.net/