Automatic feasible transition path generation from UML state chart diagrams using grouping genetic algorithms

Title
Automatic feasible transition path generation from UML state chart diagrams using grouping genetic algorithms
Author
임동진
Keywords
Search-based algorithm; UML state chart; Feasible transition path; Model-driven testing; Automatic test case generation
Issue Date
2018-02
Publisher
ELSEVIER SCIENCE BV
Citation
INFORMATION AND SOFTWARE TECHNOLOGY, v. 94, No. 1, Page. 38-58
Abstract
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.
URI
https://www.sciencedirect.com/science/article/pii/S0950584917304809http://repository.hanyang.ac.kr/handle/20.500.11754/80925
ISSN
0950-5849
DOI
10.1016/j.infsof.2017.09.013
Appears in Collections:
COLLEGE OF ENGINEERING SCIENCES[E](공학대학) > ELECTRICAL ENGINEERING(전자공학부) > Articles
Files in This Item:
There are no files associated with this item.
Export
RIS (EndNote)
XLS (Excel)
XML


qrcode

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE