Thi Dao Vu and Ngoc Hung Pham and Viet Ha Nguyen (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.
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.
|Item Type:||Conference or Workshop Item (Poster)|
|Subjects:||Information Technology (IT)|
|Divisions:||Faculty of Information Technology (FIT)|
|Deposited By:||Dr Ngoc Thang Bui|
|Deposited On:||23 May 2016 02:42|
|Last Modified:||23 May 2016 02:42|
Repository Staff Only: item control page