Analysis of Timed Automata Model-based Testing Approaches and Case Study
Hanseok Kim, Eunkyoung Jee, Doo‐Hwan Bae · 정보과학회 컴퓨팅의 실제 논문지 · 2015
A real-time system is a system wherein the behavior of the system depends not only on the input but also on the timing of the input. Timed automata is a widely used model for real-time system modeling and analysis. Model-based testing is employed to check whether the system under test (SUT) works according to the model specifications by using test cases generated from models that represent software requirements. In this paper, a case study was performed applying the timed automata based testing tools, UPPAAL-TRON, UPPAAL-COVER and SYMBOLRT, to the same system. Comparison of the testing approaches and tools is then made based on the results of the case study.