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

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 sequence diagrams including eight kinds of combined fragments. Test cases are generated with respect to the given concurrency coverage criteria. | VNU Journal of Science: Comp. Science & Com. Eng., Vol. 32, No. 3 (2017) 53–70 A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs Thi-Dao Vu1,∗, Pham Ngoc Hung2 , Nguyen Viet Ha2 1 Academy of Cryptography of Techniques, 141 Chien Thang street, Tan Trieu, Thanh Tri, Hanoi, Vietnam 2 Faculty of Information Technology, VNU University of Engineering and Technology, E3 Building, 144 Xuan Thuy Street, Cau Giay, Hanoi, Vietnam 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 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. Received 10 June 2016, Revised 27 October 2016, Accepted 31 October 2016 Keywords: Model based Testing, Test Scenario, Test Data, Test Case, Sequence Diagram, Class Diagram, Object Constraint Language. 1. Introduction executable test cases from Unified Modeling Language (UML) sequence diagrams and Object Constraint Language (OCL) is one of major approaches. By this approach, it is easier to obtain accurate behavior models in order to apply in the software companies. The translation of a sequence diagram into an intermediate graph [2, 3] .