Activity Diagram Polymorphism Test Case Generation Method with OCL
Yi Zeng, Na Ding, Zou Ming · Jisuanji gongcheng · 2012
(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.