A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs

Abstract

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 in 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.