Browse > Article
http://dx.doi.org/10.3745/KTSDE.2015.4.1.19

Case Study of Model-Based Test with Smart TV  

Lee, Seonyeol (부산대학교 전자전기컴퓨터공학부)
Bae, Jung Ho (국방과학연구소 제1기술연구본부 3부)
Chae, Heung-Seok (부산대학교 컴퓨터공학과)
Publication Information
KIPS Transactions on Software and Data Engineering / v.4, no.1, 2015 , pp. 19-30 More about this Journal
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.
Keywords
Model-Based Testing; Smart TV Test Script Generation; Reusable Test Model;
Citations & Related Records
연도 인용수 순위
  • Reference
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.   DOI
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.   DOI
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.   DOI
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.