Model-based Automated Testing using a Record-Replay Mechanism
- Authors
- Kang, Junwon; Yoon, Hyunmin; Seo, Jaemoon; Roh, Jungwon; Ryu, Minsoo
- Issue Date
- Jul-2014
- Publisher
- CSREA
- Keywords
- Model-based testing; automated testing; deterministic replay mechanism; event-driven systems; finite state machine.
- Citation
- FCS - International Conference on Foundations of Computer Science, pp.36 - 38
- Indexed
- OTHER
- Journal Title
- FCS - International Conference on Foundations of Computer Science
- Start Page
- 36
- End Page
- 38
- URI
- https://scholarworks.bwise.kr/hanyang/handle/2021.sw.hanyang/159489
- 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.
- Files in This Item
-
Go to Link
- Appears in
Collections - 서울 공과대학 > 서울 컴퓨터소프트웨어학부 > 1. Journal Articles
![qrcode](https://api.qrserver.com/v1/create-qr-code/?size=55x55&data=https://scholarworks.bwise.kr/hanyang/handle/2021.sw.hanyang/159489)
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.