基于UML顺序图的测试方法  

An Approach to Generate Test Cases Based on UML Sequence Diagrams

作　　者：江泽凡[1] 王林章[1] 李宣东[1] 郑国梁[1] 

机构地区：[1]南京大学计算机科学与技术系,南京210093

出　　处：《计算机科学》2004年第7期131-136,共6页Computer Science

基　　金：国家863科技项目(2002AA116090);国家自然基金(6027036);江苏省自然基金(BK2002079)

摘　　要：本文描述一个在UML顺序图上生成测试用例的方法。我们使用带OCL约束的顺序图,即从类图和状态图中提取信息以OCL形式附加在顺序图的对象生命线的适当位置。首先检查顺序图的完备性和一致性。然后从顺序图中生成测试规格说明以及顺序图的事件系列。最后根据测试准则采用类似于类别-划分方法进行测试用例的生成。另外,我们将此方法应用于一个简化的DHCP协议,解释了方法的一般过程以及方法的可行性。The paper presents an approach to generate test cases from UML sequence diagrams. We make use of the UML sequence diagrams with OCL from which integrate the information specified in class and statechart diagrams in-to sequence diagrams and represent the information as constraints attached to proper locations of the object lifelines in the sequence diagrams. First, we provide a method for checking completeness, correctness and consistency of the se-quence diagrams. Secondly, we derive test specifications and event series from the sequence diagrams. Finally, ac-cording to test criterion, we create test cases via the well-known Category-Partition Method. Additionally, the paper applies the approach to address a simplified DHCP protocol, and explains every step in the method and its feasibility.

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

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]