Abstract
It is very important to test protocol implementations to verify conformance to their specifications (standards) in order to promote interoperability between them. This kind of testing is referred to as conformance testing. For that purpose, a kind of test scenario need prepared in advance and the involved work is called test generation. On the other hand, often a protocol can be specified succinctly and in an understandable way as a collection of communicating finite state machines. In this paper, we propose a test generation scheme called weighted random walk that can be applied to the test generation of communicating finite state machines. The proposed scheme is applied to an example protocol and some results of comparison with existing schemes such as pure random walk and guided random walk are presented. Our scheme is superior to the existing schemes in that it tends to test communicating finite state machines with fewer external test inputs. In an illustrated example in the paper, our scheme shows about 48% improvement over the existing schemes in terms of the number of necessary external test inputs.
Chapter PDF
Similar content being viewed by others
References
D. Lee, K. Sabnani, D. M. Kristol and S. Paul, “Conformance testing of protocols specified as communicating finite state machines - A guided random walk based approach”, IEEE Trans. on Communication, Vol. 44, No. 5, May 1996.
A. Chung and D. Sidhu, “Fault coverage of probabilistic test sequence”, In Proc. 3 rd International workshop on protocol test systems, November 1990.
D. Sidhu and T. Leung, “Formal methods for protocol testing: A detailed study”, IEEE Trans. on Software engineering, Vol. 15, No. 4, April 1989.
D. Lee and M. Yannakakis, “Principles and methods of testing finite state machines - A survey”, Technical report, AT T Bell Labs., September, 1995.
C. West, “Protocol validation by random state exploration”, In Proc. 6 th International Workshop Protocol specification, testing, and verification, 1986.
ISO DIS 9646, Conformance Testing Methodology and Framework, part 1, December, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Kang, D., Kang, S., Kim, M., Yoo, S. (1997). A weighted random walk approach for conformance testing of a system specified as communicating finite state machines. In: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35271-8_17
Download citation
DOI: https://doi.org/10.1007/978-0-387-35271-8_17
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5260-1
Online ISBN: 978-0-387-35271-8
eBook Packages: Springer Book Archive