Journal of Institute of Control, Robotics and Systems (제어로봇시스템학회논문지)

Institute of Control, Robotics and Systems (제어로봇시스템학회)
권호 표지
DOI QR코드

DOI QR Code

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

로봇용 소프트웨어 컴포넌트에서 비정상 천이를 포함한 상태 천이 시퀀스용 테스트 스윗 생성 기법

  • 맹상우 (강원대학교 전자통신공학과) ;
  • 박홍성 (강원대학교 전자통신공학과)
  • Received : 2010.04.16
  • Accepted : 2010.06.10
  • Published : 2010.08.01
Download PDF
⟨ Previous Next ⟩

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

References

  1. 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.
  2. OPRoS group, www.opros.or.kr
  3. 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.
  4. 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.
  5. T. S. Chow, “Testing software design modeled by finite-state machines,” Software Engineering, IEEE Transactions, vol. SE-4, pp. 178-187, 1978. https://doi.org/10.1109/TSE.1978.231496
  6. 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.
  7. 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. https://doi.org/10.1109/COMPSAC.2005.150
  8. 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.
  9. 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. https://doi.org/10.1109/SCCC.1999.810159
  10. 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.
  11. OPRoS grp, http://203.255.255.39/new/board/?SET=130
  12. KOROS 1067-2:2009, “개방형 로봇 소프트웨어 플랫폼 : 제2부 - 컴포넌트,” 한국 로봇협회, 2009.

Cited by

  1. Input/Output Relationship Based Adaptive Combinatorial Testing for a Software Component-based Robot System vol.21, pp.7, 2015, https://doi.org/10.5302/J.ICROS.2015.15.0007