A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language

Thi--Dao Vu, Pham Ngoc Hung, Viet-Ha Nguyen
2015 Proceedings of the Sixth International Symposium on Information and Communication Technology - SoICT 2015  
This paper proposes an automated test cases generation method from sequence diagrams, class diagrams, and object constraint language in order to solve several steps of the model-based testing process. The method supports UML 2.0 sequence diagrams including eight kinds of combined fragments. Test cases are generated with respect to the given concurrency coverage criteria. With strong concurrency coverage, generating exhaustive test cases for all concurrent interleaving sequences is exponential
more » ... size. The key idea of this method is to create selections of possible test scenarios in special case of exploring the message sequences with their possible interleaving in parallel fragments or weak sequencing fragments. Test data for testing loop fragments are also generated. A tool supporting the proposed method is implemented and tested with several case studies. The obtained results show the feasibility and effectiveness of the method.
doi:10.1145/2833258.2833294 dblp:conf/soict/VuHN15 fatcat:fobganfhebcx5hpqup7zofi3ma