Abstract
A method is proposed to transform a test case generation problem to a protocol validation problem. Protocol validation has been studied for years and many validation tools are available. By transforming a test case generation problem into a protocol validation problem, a protocol validation tool can be used to generate test cases. The method can be implemented in a very short period of time. The complexity of the proposed method in searching for a test case is O(n), where n is the number of system states in the specification.
Research reported herein was supported by U.S. Army Research Office, under contracts No. DAAL0391-G-0093 and No. DAAL03-92-G-0184. The views, opinions, and/or findings contained in this paper are those of the authors and should not be construed as an official Department of the Army position, policy or decision.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
T. Chow, “Testing software design modeled by finite-state machines,” IEEE Trans. on Software Engineering, vol. SE-4, no. 3, pp. 178–187, March 1978.
G. Gönenç, “A model for the design of fault detection experiments,” IEEE Trans. on Computers, vol. C-19, no. 6, pp. 551–558, June 1970.
S. Naito, “Fault detection for sequential machines by transition tours,” in Proc. 11th IEEE Symp. on Fault Tolerant Computing, pp. 238–243, 1981.
K. Sabnani and A. Dahbura, “A protocol test generation procedure,” Computer Networks and ISDN Systems, vol. 15, pp. 285–297, 1988.
G. v. Bochmann and J. Gecsei, “A unified method for the specification and verification of protocols,” in Proc. IFIP Congress ‘77, pp. 229–234, 1977.
S. Budkowski and P. Dembinski, “An introduction to Estelle: A specification language for distributed systems,” Computer Networks and ISDN Systems, vol. 14, no. 1, pp. 3–23, 1987.
T. Bolognesi and E. Brinksma, “Introduction to the ISO specification language LOTOS,” Computer Networks and ISDN Systems, vol. 14, pp. 25–59, 1987.
E. Brinksma, “A theory for the derivation of tests,” in The Formal Description Technique LOTOS (P. van Eijk, C.A.Vissers, and M. Diaz, eds.), pp. 235–247, Elsevier Science Publishers B.V. ( North-Holland ), 1989.
R. Langerak, “A testing theory for LOTOS using deadlock detection,” in Proc. 10th IFIP Symp. on Protocol Specification Testing and Verificationpp. 87–98, 1990.
B. Sarikaya, G. v. Bochmann, and E. Cerny, “A test design methodology for protocol testing,” IEEE Trans. on Software Engineering, vol. SE-13, no. 5, pp. 518–531, May 1987.
H. Ural, “Test sequence selection based on static data flow analysis Computer Communications ,vol. 10, no. 5, pp. 234–242, 1987.
H. Ural and B. Yang, “A test sequence selection method for protocol testing IEEE Trans. on Communications ,vol. 39, no. 4, pp. 514–523, April 1991.
C.-J. Wang and M. T. Liu, “Axiomatic test sequence generation for extended finite state machines,” in Proc. 12th International Conference on Distributed Computing Systems, pp. 252–259, June 1992.
C.-J. Wang and M. T. Liu, “A test suite generation method for extended finite state machines using axiomatic semantics approach,” in IFIP Trans. Protocol Specification, Testing, and Verification, XII, pp. 29–43, North-Holland, 1992.
G. v. Bochmann, A. Das, R. Dssouli, M. Dubuc, A. Ghedamsi, and G. Luo, “Fault models in testing,” in Protocol Test Systems, IV, pp. 17–30, Elsevier Science Publisher B.V. ( North-Holland ), 1992.
C.-J. Wang and M. T. Liu, “Generating test cases for EFSM with given fault models,” in Proc. IEEE INFOCOM ’88, pp. 774–781, M..rch 1993.
C.-J. Wang and M. T. Liu, “Automatic test case generation for Estelle,” in Proc. 1998 Intl Conf. on Network Protocols,October 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Wang, CJ., Koh, LS., Liu, M.T. (1995). Protocol Validation Tools as Test Case Generators. In: Mizuno, T., Higashino, T., Shiratori, N. (eds) Protocol Test Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34883-4_11
Download citation
DOI: https://doi.org/10.1007/978-0-387-34883-4_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6310-2
Online ISBN: 978-0-387-34883-4
eBook Packages: Springer Book Archive