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.
|