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

关键词: UML顺序图 测试方法 OCL约束 类图 状态图 类别一划分方法 软件开发