Browse > Article
http://dx.doi.org/10.5626/KTCP.2015.21.2.132

Analysis of Timed Automata Model-based Testing Approaches and Case Study  

Kim, Hanseok (KAIST)
Jee, Eunkyoung (KAIST)
Bae, Doo-Hwan (KAIST)
Publication Information
KIISE Transactions on Computing Practices / v.21, no.2, 2015 , pp. 132-137 More about this Journal
Abstract
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.
Keywords
timed automata; testing approaches analysis; real-time system testing; model-based testing;
Citations & Related Records
연도 인용수 순위
  • Reference
1 A. Hessel, "Model-based test case generation for real-time systems," Ph.D, Dissertation, U ppsala University, Sweden, May. 2007.
2 R. Alur, "Timed automata," Verification of Digital and Hybrid Systems, Vol. 170, pp. 233-264, Springer Berlin Heidelberg, 2000.
3 A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B. Sostawa, R. Zolch, T. Stauner, "One evaluation of model-based testing and its automation," Proc. of the 27th international conference on Software engineering, pp. 392-401, May. 2005.
4 M. T. B. Waez, J. Dingel, and K. Rudie, "A survey of timed automata for the development of real-time systems," Computer Science Review, Vol. 9, pp. 1-26, Aug. 2013.   DOI
5 K.G. Larsen, M. Mikucionis, B. Nielsen, and A. Skou, "Testing real-time embedded software using UPPAAL-TRON: an industrial case study," Proc. of the 5th ACM international conference on Embedded software, pp. 299-306, Sep. 2005.
6 A. Hessel, and P. Pettersson, "CoVer-a real-time test case generation tool," Proc. of the 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software, 2007.
7 W. L. Andrade, and P. D. L. Machado, "Generating Test Cases for Real-Time Systems Based on Symbolic Models," IEEE Transactions on Software Engineering, Vol. 39, No. 9, pp. 1216-1229, Sep. 2013.   DOI
8 G. Behrmann, A. David, and K. G. Larsen, "A Tutorial on UPPAAL 4.0," Department of Computer Science, Aalborg University, Denmark, 2006.
9 A. Hessel, K.G. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson, and A. Skou, "Testing real-time systems using UPPAAL," Formal methods and testing, Vol. 4949, pp. 77-117, Springer Berlin Heidelberg, 2008.   DOI
10 M. Utting, A. Pretschner, and B. Legeard, "A taxonomy of model-based testing approaches," Software Testing, Verification and Reliability, Vol. 22, No. 5, pp. 297-312, Aug. 2012.   DOI