모델 기반 스마트 TV 테스트 사례
Case Study of Model-Based Test with Smart TV
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
스마트 TV 제조사들은 스마트 TV 테스트 비용을 줄이기 위하여 테스트 스크립트 자동 실행 환경을 구축하고 있다. 그러나 기존의 테스트 방법은 테스트 스크립트가 테스터에 의해 수동으로 작성되기 때문에, 테스트 스크립트의 재사용성은 높지 않다. 이는 새로운 TV 모델을 위한 테스트 스크립트가 새롭게 작성되어야 함을 의미한다. 본 논문에서는 재사용성이 높은 스마트 TV 테스트 모델 작성법을 제안하고 이를 이용한 스마트 TV 테스트 스크립트 생성 방법을 소개한다. 그리고 NetCast TV에 모델 기반 테스트 스크립트 생성 방법을 적용하여 유효성을 확인하였다.
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.
참고문헌 (8)
- M. Utting, "Practical Model-Based Testing" (2010), Morgan Kaufmann
- J. Zander, "Model-Based Testing for Embedded Systems" (2011), CRC Press
- W. L. Andrade, "Generating Test Cases for Real-Time Systems Based on Symbolic Models", Software Engineering, IEEE Transactions on, 39(9), pp.1216~1229 (2013)
- S. Mohalik, "Automatic test case generation from Simulink", Stateflow models using model checking, 2014, ~
- P. Fröhlich, "Automated Test Case Generation from Dynamic Models", Proceedings of the 14th European Conference on Object-Oriented Programming (2000)
- E. Farchi, "Using a model-based test generator to test for standard conformance", IBM Systems Journal, 41(1), pp.89~110 (2002)
- A. Hartman, "The AGEDIS tools for model based testing", ACM SIGSOFT Software Engineering Notes, 29(4), pp.129~132 (2004)
- A. J. Offutt, "Criteria for generating specification-based tests", Engineering of Complex Computer Systems, 1999. ICECCS “99. Fifth IEEE International Conference on, pp.119~129 (1999)