Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL

The polymorphism is an important character of object oriented design (OOD). However Unified Modeling Language (UML) sequence diagrams can not describe the polymorphism, which lead to lack test data to test polymorphism sequence diagram methods in integration testing. An approach is proposed to formalize polymorphism sequence diagrams and generate test data. According to classes OCL constraints and Satisfying Set rules, the approach got the Class Sets of Polymorphism Methods (CSPM).The approach transformed sequence diagrams into the Polymorphism Class Object Method Acyclic Graph (PCOMDAG). Utilizing the Test Data Automatic Generation (TCAG) algorithm, the approach automatically generated sequence diagram test data. The approach availability was verified by an application example and cases study. The results show that the approach can generate sequence diagram test data to test polymorphism methods and increase the test coverage rate of sequence diagram.