Browse > Article
http://dx.doi.org/10.5302/J.ICROS.2010.16.8.786

Generation Algorithm of Test Suite for State Transition Sequence with Abnormal Transitions in Robot Software Component  

Maeng, Sang-Woo (Kangwon National University)
Park, Hong-Seong (Kangwon National University)
Publication Information
Journal of Institute of Control, Robotics and Systems / v.16, no.8, 2010 , pp. 786-793 More about this Journal
Abstract
This paper proposes a new method called the path-history coverage to generate a test suite to test the state transition behavior of the robot SW component. The proposed method generate a test suite which includes abnormal state transitions based on FSM of target component. Especially the proposed method covers the disadvantage of the mutation test method that the size of the test suite is explosively increasing. Examples including OPRoS Component[1] show the validity of the proposed method.
Keywords
component state test; abnormal transition; path-history coverage;
Citations & Related Records
연도 인용수 순위
  • Reference
1 M. A. Rho and B. J. Choi, “Class test process applying state-based mutation test criterion,” Korea Information Science SocietyS(B), vol. 25, no. 8, pp. 1206-1217, 1998.
2 S. C. P. F. Fabbri, J. C. Maldonado, and M. E. Delamaro, “Proteum/FSM: a tool to support finite state machine validation based on mutation testing,” Proc. of the Computer Science Society, XIX International Conference of the Chilean, pp. 96-104, Nov. 1999.   DOI
3 S. W. Maeng and H. S. Park, “Test suite generation algorithm for component state testing including abnormal transitions,” Proc. of ICROS Annual Conference 2010, Chuncheon, Korea, pp. 137-138, May 2010.
4 OPRoS grp, http://203.255.255.39/new/board/?SET=130
5 KOROS 1067-2:2009, “개방형 로봇 소프트웨어 플랫폼 : 제2부 - 컴포넌트,” 한국 로봇협회, 2009.
6 J. Gao, R. Espinoza and J. He, “Testing coverage analysis for software component validation,” Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International, CA, USA, vol. 1, pp. 463-470, July 2005.   DOI
7 H. S. Hong, Y. R. Kwon, and S. D Cha, “A state-based testing method for classes,” Korea Information Science SocietyS(B), vol. 23, no. 11, pp. 1145-1154, Nov. 1996.
8 B. Y. Song, S. W. Jung, C. S. Jang, and S. H. Kim, “An introduction to robot component model for OPRoS(Open Platform for Robotic Services),” Workshop Proceedings of SIMPAR 2008 Intl. Conf. on Venice, Italy, Nov. 2008.
9 OPRoS group, www.opros.or.kr
10 S. H. Park, Y. T. Jin, and S. M. Hwang, “A component testing method using interface information,” Korea Information Science SocietyS(B), vol. 30, no. 1, pp. 127-129, 2003.
11 T. S. Chow, “Testing software design modeled by finite-state machines,” Software Engineering, IEEE Transactions, vol. SE-4, pp. 178-187, 1978.   DOI
12 J. A. Dallal and P. Sorenson, “Generating class-based test cases for interface classes of object-oriented black box frameworks,” Proc. of World Academy of Science, Engineering and Technology, vol. 16, Nov. 2006.