基于UML顺序图的测试方法

摘要：

本文描述一个在UML顺序图上生成测试用例的方法.我们使用带OCL约束的顺序图,即从类图和状态图中提取信息以OCL形式附加在顺序图的对象生命线的适当位置.首先检查顺序图的完备性和一致性.然后从顺序图中生成测试规格说明以及顺序图的事件系列.最后根据测试准则采用类似于类别-划分方法进行测试用例的生成.另外,我们将此方法应用于一个简化的DHCP协议,解释了方法的一般过程以及方法的可行性.

关键词：UML顺序图、OCL、测试规格、测试用例、类别-划分方法

所属期刊栏目：31

分类号：TP3;TN9

资助基金：国家高技术研究发展计划863计划2002AA116090;国家自然科学基金6027036;江苏省自然科学基金BK2002079

在线出版日期：2004-08-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：131-136