eprintid: 1557
rev_number: 8
eprint_status: archive
userid: 243
dir: disk0/00/00/15/57
datestamp: 2016-05-23 02:42:03
lastmod: 2016-05-23 02:42:54
status_changed: 2016-05-23 02:42:03
type: conference_item
metadata_visibility: show
creators_name: Vu, Thi Dao
creators_name: Pham, Ngoc Hung
creators_name: Nguyen, Viet Ha
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: pub
subjects: IT
divisions: fac_fit
abstract: Model- based testing plays a significant role in practice and a lot of researches on it has been investigated in recent years due to great benefits. There are some approaches for model- based testing: test data generation, test cases generation from behavior models and test scripts generation from abstract tests.  Current research focuses on generating executable test cases from Unified Modeling Language (UML) sequence diagrams and object constraint language (OCL). In this paper we propose  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 follow 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 is also generated. We implemented 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-03-26
full_text_status: public
pres_type: poster
event_title: SW4PHD: the 2016 Scientific Workshop for PhD Students
event_location: Hanoi
event_dates: 26 March 2016
event_type: workshop
refereed: FALSE
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.  In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.     
document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1557/1/VuThiDao_phdposters.pdf