Model-based Automated Testing using a Record-Replay Mechanism
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kang, Junwon | - |
dc.contributor.author | Yoon, Hyunmin | - |
dc.contributor.author | Seo, Jaemoon | - |
dc.contributor.author | Roh, Jungwon | - |
dc.contributor.author | Ryu, Minsoo | - |
dc.date.accessioned | 2022-07-16T03:47:57Z | - |
dc.date.available | 2022-07-16T03:47:57Z | - |
dc.date.created | 2021-05-13 | - |
dc.date.issued | 2014-07 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/hanyang/handle/2021.sw.hanyang/159489 | - |
dc.description.abstract | Automated testing is increasingly becoming an essential part of software development as it significantly reduces laborious and time-consuming manual efforts. By automatically constructing and executing test cases with minimal manual work, automated testing promises high productivity, better coverage, and reduced cost. However, there still exist many obstacles that must be addressed to successfully incorporate automated testing into a real software development process. In this paper, we present a novel approach to automated test case creation and execution, called MoReT (Model-based Replay Testing), for event-driven systems. MoReT accepts a finite state machine model for a target system under test and generates a series of test cases based on the notion of Chow's n-switch coverage. Specifically, for a fixed n, MoReT finds an n-switch set cover that covers every sequence of consecutive transitions of length n+1 in a given state transition diagram. MoReT also allows us to automatically execute the generated test cases using a deterministic replay mechanism, called RT-Replayer, that can automatically generate and execute test cases, i.e., event sequences, during a test execution phase. | - |
dc.language | 영어 | - |
dc.language.iso | en | - |
dc.publisher | CSREA | - |
dc.title | Model-based Automated Testing using a Record-Replay Mechanism | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Ryu, Minsoo | - |
dc.identifier.bibliographicCitation | FCS - International Conference on Foundations of Computer Science, pp.36 - 38 | - |
dc.relation.isPartOf | FCS - International Conference on Foundations of Computer Science | - |
dc.citation.title | FCS - International Conference on Foundations of Computer Science | - |
dc.citation.startPage | 36 | - |
dc.citation.endPage | 38 | - |
dc.type.rims | ART | - |
dc.type.docType | Proceeding | - |
dc.description.journalClass | 1 | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | other | - |
dc.subject.keywordAuthor | Model-based testing | - |
dc.subject.keywordAuthor | automated testing | - |
dc.subject.keywordAuthor | deterministic replay mechanism | - |
dc.subject.keywordAuthor | event-driven systems | - |
dc.subject.keywordAuthor | finite state machine. | - |
dc.identifier.url | https://www.proquest.com/docview/1648967463?pq-origsite=gscholar&fromopenview=true | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
222, Wangsimni-ro, Seongdong-gu, Seoul, 04763, Korea+82-2-2220-1365
COPYRIGHT © 2021 HANYANG UNIVERSITY.
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.