eprintid: 2697 rev_number: 4 eprint_status: archive userid: 304 dir: disk0/00/00/26/97 datestamp: 2017-12-11 09:42:04 lastmod: 2017-12-11 09:42:04 status_changed: 2017-12-11 09:42:04 type: conference_item succeeds: 2260 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 UML Models with String Constraints ispublished: pub subjects: IT divisions: fac_fit abstract: This paper proposes an automated test cases generation method from sequence diagrams and class diagrams with string constraints. The method supports UML 2.0 sequence diagrams including twelve combined fragments. An algorithm for generating test scenarios are developed to avoid test paths explosion without having data sharing points of threads in parallel fragments or weak sequencing fragments. Test data are also generated with solving constraints of string variables. We standardize string constraints and equations at the boundary of variables that are input formula of Z3-str solver. Comparing with the current approach of the solver, some preprocessing rules are extended for other operations such as charAt, lastindexOf, trim, startsWith and endsWith. If a result of the Z3-str is SAT, test data of each test scenario are generated to satisfy the constraints with boundary coverage. A tool is implemented to support the proposed method, and some experiments are also presented to illustrate the effectiveness of the tool. date: 2017 date_type: completed full_text_status: public pres_type: paper pagerange: 525-536 event_title: The 9th Asian Conference on Intelligent Information and Database Systems event_location: Japan event_dates: 2017 event_type: conference refereed: FALSE citation: Vu, Thi Dao and Pham, Ngoc Hung and Nguyen, Viet Ha (2017) A Method for Automated Test Cases Generation from UML Models with String Constraints. In: The 9th Asian Conference on Intelligent Information and Database Systems, 2017, Japan. document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2697/1/paper_212.pdf