Automatic feasible transition path generation from UML state chart diagrams using grouping genetic algorithms
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Choi, Yoo-Min | - |
dc.contributor.author | Lim, Dong-Jin | - |
dc.date.accessioned | 2021-06-22T12:21:29Z | - |
dc.date.available | 2021-06-22T12:21:29Z | - |
dc.date.created | 2021-01-21 | - |
dc.date.issued | 2018-02 | - |
dc.identifier.issn | 0950-5849 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/6782 | - |
dc.description.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. | - |
dc.language | 영어 | - |
dc.language.iso | en | - |
dc.publisher | ELSEVIER | - |
dc.title | Automatic feasible transition path generation from UML state chart diagrams using grouping genetic algorithms | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Lim, Dong-Jin | - |
dc.identifier.doi | 10.1016/j.infsof.2017.09.013 | - |
dc.identifier.scopusid | 2-s2.0-85031107154 | - |
dc.identifier.wosid | 000417009000004 | - |
dc.identifier.bibliographicCitation | INFORMATION AND SOFTWARE TECHNOLOGY, v.94, pp.38 - 58 | - |
dc.relation.isPartOf | INFORMATION AND SOFTWARE TECHNOLOGY | - |
dc.citation.title | INFORMATION AND SOFTWARE TECHNOLOGY | - |
dc.citation.volume | 94 | - |
dc.citation.startPage | 38 | - |
dc.citation.endPage | 58 | - |
dc.type.rims | ART | - |
dc.type.docType | Article | - |
dc.description.journalClass | 1 | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Information Systems | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.subject.keywordAuthor | Search-based algorithm | - |
dc.subject.keywordAuthor | UML state chart | - |
dc.subject.keywordAuthor | Feasible transition path | - |
dc.subject.keywordAuthor | Model-driven testing | - |
dc.subject.keywordAuthor | Automatic test case generation | - |
dc.identifier.url | https://www.sciencedirect.com/science/article/pii/S0950584917304809?via%3Dihub | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
55 Hanyangdeahak-ro, Sangnok-gu, Ansan, Gyeonggi-do, 15588, Korea+82-31-400-4269 sweetbrain@hanyang.ac.kr
COPYRIGHT © 2021 HANYANG UNIVERSITY. ALL RIGHTS RESERVED.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.