KIISE Transactions on Computing Practices (정보과학회 컴퓨팅의 실제 논문지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지
DOI QR코드

DOI QR Code

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

타임드 오토마타 모델 기반 테스팅 기법 분석 및 사례 연구

  • Received : 2014.09.11
  • Accepted : 2014.11.19
  • Published : 2015.02.15
⟨ Previous Next ⟩

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.

실시간 시스템은 시스템의 행동이 입력 값 뿐만이 아니라 입력 값의 시간에도 의존적인 시스템이고, 타임드 오토마타는 실시간 시스템 모델링 및 분석에 대표적으로 쓰이는 모델이다. 모델 기반 테스팅은 소프트웨어의 요구사항을 표현한 모델로부터 생성된 테스트 케이스를 테스트 대상 프로그램에 수행함으로써 테스트 대상 프로그램이 모델에 명세된 대로 작동하는지 여부를 확인하는 기법이다. 본 연구에서는 타임드 오토마타 모델 기반 테스팅 도구인 UPPAAL-TRON, UPPAAL-COVER, SYMBOLRT를 동일한 시스템에 적용하는 사례 연구를 수행하고, 이를 기반으로 테스팅 기법 및 도구를 비교 분석한다.

Keywords

Acknowledgement

Supported by : 한국연구재단

References

  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. https://doi.org/10.1016/j.cosrev.2013.05.001
  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. https://doi.org/10.1109/TSE.2013.13
  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. https://doi.org/10.1007/978-3-540-78917-8_3
  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. https://doi.org/10.1002/stvr.456