Journal
INFORMATION AND SOFTWARE TECHNOLOGY
Volume 94, Issue -, Pages 38-58Publisher
ELSEVIER
DOI: 10.1016/j.infsof.2017.09.013
Keywords
Search-based algorithm; UML state chart; Feasible transition path; Model-driven testing; Automatic test case generation
Funding
- WC300 Technological innovation R&D program of Small and Medium Business Administration (SMBA, Korea) [S2341060]
- Gyeong-gi Regional Research Center [Development of model-driven method for embedded software testing] [GRRC-Hanyang-2014-1303]
- Korea Technology & Information Promotion Agency for SMEs (TIPA) [S2341060] Funding Source: Korea Institute of Science & Technology Information (KISTI), National Science & Technology Information Service (NTIS)
Ask authors/readers for more resources
Context Transition coverage testing, a testing technique using state charts of Unified Modeling Language (UML), requires generation of transition paths that cover all transitions. However, if a generated path is infeasible due to internal variables then the transition will not be executed according to the input sequence, resulting in a test failure. Thus, feasible transition paths (FTPs) must be generated to run transition coverage tests. Objective: Several automatic transition path generation studies have been conducted using genetic algorithms (GM), but when generating a transition path using a GA, the dependent transition pairs serve as distractions. Furthermore, counter problems that require repeated execution of dependent transitions (for example, to test a failing operation of an automatic teller machine, the password must be incorrect three times) make FFP generation more difficult. Method: In this study, to address these issues, an automatic FTP generation method using a grouping GA (GGA) is described. Considering the characteristics of the problem, modification of the original GGA is proposed. A chromosome initialized using information from the state chart, and generating transition coverage, satisfied FTP while adjusting the length of the chromosome. Results: An experiment using the 'inres initiator state chart and the 'ATM' state chart generated FTPs successfully. In the case of the inres initiator state chart, the proposed GGA was shown to be capable of generating FTPs with a 100% success rate. In the case of the ATM state chart, the proposed GGA was shown to be capable of generating FTPs with a 100% success rate, by setting the maximum number of generations. Conclusion: The proposed GGA can be applied effectively to transition coverage testing using UML state charts, and can generate test paths suitable for testing purposes by setting the genetic parameter value and the maximum number of generations.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available