Browse > Article
http://dx.doi.org/10.17661/jkiiect.2015.8.6.470

A Heuristic Technique for Generating the Synchronizable and Optimized Conformance Test Sequences  

Kim, Chul (Department of Computer Science, Yongin University)
Publication Information
The Journal of Korea Institute of Information, Electronics, and Communication Technology / v.8, no.6, 2015 , pp. 470-477 More about this Journal
Abstract
This paper presents a new technique for generating an optimum synchronizable test sequence that can be applied in the distributed test architecture where both external synchronization and input/output operation costs are taken into consideration. The method defines a set of phases that constructs a tester-related digraph from a given finite state machine representation of a protocol specification such that a minimum cost tour of the digraph with intrinsically synchronizable transfer sequences can be used to generate an optimum synchronizable test sequence using synchronizable state identification sequences as the state recognition sequence for each state of the given finite state machine. This hybrid approach with a heuristic and optimization technique provides a simple and elegant solution to the synchronization problem that arises during the application of a predetermined test sequence in some protocol test architectures that utilize remote testers.
Keywords
Intrinsically synchronizable transfer sequence; optimum synchronizable test sequence; conformance testing; synchronization problem; synchronizable state identification sequence;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Chul Kim and J. S. Song, "Test Sequence Generation Methods for Protocol Conformance Testing", Proc. IEEE COMPSAC 94, pp. 169-174, 1994.
2 A. T. Dahbura, K. K. Sabnani, and M. U. Uyar, "Formal Methods for Generating Protocol Conformance Test Sequences", Proceedings of the IEEE, vol. 78, no. 8, pp. 1317-1326, 1990.   DOI
3 D. P. Sidhu and T. K. Leung, "Formal Methods for Protocol Testing: A Detailed Study", IEEE Transactions on Software Engineering, vol. 15, no. 4, pp. 413-426, 1989.   DOI
4 S. Boyd and H. Ural, "The Synchronization Problem in Protocol Testing and Its Complexity", Information Processing Letters, vol. 40, pp. 131-136, 1991.   DOI
5 Chul Kim and J. S. Song, "Generating Synchronizable Conformance Test Sequence Based on Distinguishing Sequence", IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E80-A, no. 6, pp. 1080-1082, 1997.
6 B. Sarikaya and G. v. Bochmann, "Synchronization and Specification Issues in Protocol Testing", IEEE Transactions on Communications, vol. 32, no. 4, pp. 389-395, 1984.   DOI
7 J. Edmonds and E. L. Johnson, "Mathing, Euler Tours, and the Chinese Postman", Mathematical programming, vol. 5, pp. 88-124, 1973.   DOI