base class 基类 batch 批处理 binary operator 二元操作符 binary search 二分查找 binary tree 二叉树 binding 绑定 bitmap 位图 block 块、区块、语句块 boolean 布尔值 bootstrapper 引导程序 border 边框 branch 分支 break 中断 breakpoint 断点 build 生成 build-in 内置 button 按钮 byte 字节
下一篇:基于UML顺序图的场景测试用例生成方法[2]
2、UML顺序图的一个形式化定义
为了能在测试中找出所有的场景,下面给出顺序图的形式化定义:
定义1(顺序图)顺序图SD可以表示为一个六元组:SD=,其中:
◆O={O1, O2, …,Om},是对象的集合。O1, O2, …,Om都是顺序图中的对象。
◆M guard´message´name´parameter_list,是消息的集合。顺序图中的每一个消息都形如:“[卫士条件]消息名(参数)”。
◆E=M {s, r},是事件集合。事件是指消息的发送和接收。对于...[查看详情] |