摘要： 研究UML活动图多态性测试用例的生成方法。形式化定义活动图，结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集，扩展活动图中含多态信息的节点，得到多态扩展活动图。利用测试路径构造方法和覆盖准则，对多态扩展活动图进行遍历，生成测试用例。实验结果表明，该方法能生成含多态性信息的测试用例，提高测试覆盖度。

关键词: 统一建模语言, 对象约束语言, 扩展活动图, 多态性方法集, 测试用例

Abstract: This paper researches the method for generating Unified Modeling Language(UML) activity diagram polymorphism test cases. It formally defines the activity diagram, and combines the Class Sets of Polymorphism Methods(CSPM) based on class diagram, Object Constraints Language(OCL) and Liskov replacement rules. It extends the nodes with polymorphic information in activity diagram, obtains the extended polymorphic activity diagram. Test cases are generated by traversing the obtained activity diagram which uses the proposed test path constructing method and coverage criterion. Experimental result shows that method can generate test cases with polymorphic information and improve the test coverage degree.

Key words: Unified Modeling Language(UML), Object Constraint Language(OCL), extended activity diagram, Class Set of Polymorphism Method (CSPM), test case

中图分类号: 

• TP311