eprintid: 1982 rev_number: 7 eprint_status: archive userid: 304 dir: disk0/00/00/19/82 datestamp: 2016-12-03 07:02:59 lastmod: 2016-12-03 07:02:59 status_changed: 2016-12-03 07:02:59 type: article metadata_visibility: show creators_name: Vu, Thi Dao creators_name: Pham, Ngoc Hung creators_name: Nguyen, Viet Ha creators_id: vtdao@bcy.gov.vn creators_id: hungpn@vnu.edu.vn creators_id: hanv@vnu.edu.vn title: A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs ispublished: inpress subjects: IT divisions: fac_fit abstract: This paper proposes an automated test cases generation method from sequence diagrams, class diagrams, and object constraint language. The method supports UML 2.0 sequence diagrams including eight kinds of combined fragments describing control flow of systems. 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 selection of possible test scenarios in special case of exploring the message sequence with their possible interleaving in parallel or weak sequencing fragments. Test data for testing loop fragments are also generated. We implement a tool to automate the proposed method and studied its feasibility and effectiveness. Experimental results show that the method can generate test cases on demand to satisfy a given concurrency coverage criterion and can detect up to 74. 5% of seeded faults. date: 2016 date_type: completed publisher: VNU Journal of Science full_text_status: public publication: VNU Journal of Computer Science and Communication Engineering refereed: FALSE issn: 0866-8612 funders: VNU projects: QG.16.31 citation: Vu, Thi Dao and Pham, Ngoc Hung and Nguyen, Viet Ha (2016) A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs. VNU Journal of Computer Science and Communication Engineering . ISSN 0866-8612 (In Press) document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1982/1/paperTapchiDHQG_LastSubmit.pdf