KIPS Transactions on Software and Data Engineering (정보처리학회논문지:소프트웨어 및 데이터공학)

Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Case Study of Model-Based Test with Smart TV

모델 기반 스마트 TV 테스트 사례

  • 이선열 (부산대학교 전자전기컴퓨터공학부) ;
  • 배정호 (국방과학연구소 제1기술연구본부 3부) ;
  • 채흥석 (부산대학교 컴퓨터공학과)
  • Received : 2014.11.13
  • Accepted : 2014.12.29
  • Published : 2015.01.31
Download PDF
⟨ Previous Next ⟩

Abstract

Smart TV manufacturers have constructed automatic Smart TV execution environment for reducing cost of Smart TV testing. However, the conventional test methods still require high cost because of manual test script written by testers. Test scripts manully written have less reusability, and then less reusable scripts cannot be used for new TV models. In this paper, we propose constructing reusable test models for Smart TV and present a model-based Smart TV test script generation method using the modes. And we apply the method to NetCast Smart TV to confirm the effectiveness of enhancing reusability.

스마트 TV 제조사들은 스마트 TV 테스트 비용을 줄이기 위하여 테스트 스크립트 자동 실행 환경을 구축하고 있다. 그러나 기존의 테스트 방법은 테스트 스크립트가 테스터에 의해 수동으로 작성되기 때문에, 테스트 스크립트의 재사용성은 높지 않다. 이는 새로운 TV 모델을 위한 테스트 스크립트가 새롭게 작성되어야 함을 의미한다. 본 논문에서는 재사용성이 높은 스마트 TV 테스트 모델 작성법을 제안하고 이를 이용한 스마트 TV 테스트 스크립트 생성 방법을 소개한다. 그리고 NetCast TV에 모델 기반 테스트 스크립트 생성 방법을 적용하여 유효성을 확인하였다.

Keywords

References

  1. M. Utting and B. Legeard, Practical Model-Based Testing, Morgan Kaufmann, 2010.
  2. J. Zander, I. Schieferdecker, and P. J. Mosterman, Model-Based Testing for Embedded Systems, CRC Press, 2011.
  3. W. L. Andrade and P. D. L. Machado, "Generating Test Cases for Real-Time Systems Based on Symbolic Models," Software Engineering, IEEE Transactions on, Vol.39, No.9, pp.1216-1229, 2013. https://doi.org/10.1109/TSE.2013.13
  4. S. Mohalik, A. A. Gadkari, and A. Yeolekar, "Automatic test case generation from Simulink/Stateflow models using model checking," Softw. Test. Verif. Reliab., 2014.
  5. P. Frohlich and J. Link, "Automated Test Case Generation from Dynamic Models," Presented at the ECOOP "00: Proceedings of the 14th European Conference on Object-Oriented Programming, 2000.
  6. E. Farchi, A. Hartman, and S. S. Pinter, "Using a model-based test generator to test for standard conformance," IBM Systems Journal, Vol.41, No.1, pp.89-110, 2002. https://doi.org/10.1147/sj.411.0089
  7. A. Hartman and K. Nagin, "The AGEDIS tools for model based testing," ACM SIGSOFT Software Engineering Notes, Vol.29, No.4, pp.129-132, Jul., 2004. https://doi.org/10.1145/1013886.1007529
  8. A. J. Offutt, Y. Xiong, and S. Liu, "Criteria for generating specification-based tests," Presented at the Engineering of Complex Computer Systems, 1999. ICECCS "99. Fifth IEEE International Conference on, pp.119-129, 1999.