Method and apparatus for testing protocols

Details Method and apparatus for testing protocols Method and apparatus for testing protocols

1996-10-29

1997-08-19

Voeltz, Emanuel T.

Excavating

39518309, 371 251, G06F 11263, G06F 11277

Patent

active

056595557

ABSTRACT:
A method and apparatus is disclosed for conformance testing of protocols specified as a collection of communicating finite state machines (FSMs). A guided random walk procedure is advantageously used to cover a substantial number of transitions in the component FSMs to determine if the FSM output corresponds to the protocol as specified.

REFERENCES:
patent: 4601032 (1986-07-01), Robinson
patent: 4604744 (1986-08-01), Littlebury et al.
patent: 4692921 (1987-09-01), Dahbura et al.
patent: 4727549 (1988-02-01), Tulpule et al.
patent: 4907180 (1990-03-01), Smith
patent: 4991176 (1991-02-01), Dahbura et al.
patent: 5038307 (1991-08-01), Krishnakumar et al.
patent: 5163016 (1992-11-01), Har'El et al.
patent: 5228040 (1993-07-01), Agrawal et al.
patent: 5394347 (1995-02-01), Kita et al.
patent: 5418793 (1995-05-01), Chang et al.
David Lee et al., "Conformance Testing of Protocols Specified as Communicating FSMs," IEEE Infocom'93 Proceedings, vol. 1, 115-127, Mar. 30-Apr. 1, 1993.
A. S. Tanenbaum, "Computer Networks," Prentice-Hall Software Series, 10-16 (1981).
K. Sabnani and A. Dahbura, "A Protocol Test Generation Procedure," Computer Networks, 285-297 (1988).
D. M. Kristol et al., "Efficient Gateway Synthesis from Formal Specifications," Proc. of SIGCOMM'91, 89-97, Zurich, Sep. 1991.
C. A. R. Hoare, "Communicating Sequential Processes," Communications of ACM, vol. 21, No. 8, 666-677 (Aug. 1978).
M. Yannakakis and D. Lee, "Testing Finite State Machines," Proceedings of the 23rd Annual ACM Symposium of Theory of Computing, New Orleans, 476-485 May 1991.
C. L. Seitz, "An Approach to Designing Checking Experiments Based on a Dynamic Model," Theory of Machines and Computations, Z. Kohavi (ed.), 341-349 (1972).
F. C. Hennie, "Fault Detecting Experiments for Sequential Circuits," Proc. 5th Ann. Symp. on Switching Circuit Theory and Logical Design, 95-110, Nov. 1964.
R. Alseliunas et al., "Random Walks, Universal Traversal Sequences, and the Complexity of Maze Problems," Proceedings of the 20th Annual Symposium on Foundations of Computer Science, 218-223, Oct. 1979.
D. Brand and P. Zafiropulo, "On Communicating Finite-State Machines," Journal of the Association for Computing Machinery, vol. 30, No. 2, 323-342 (Apr. 1983).
A. V. Aho, et al., "An Optimization Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours," IEEE Transactions on Communications, vol. 39, No. 11, 1604-1615 (Nov. 1991).
Robin Milner "Communication and Concurrency," Chapter 5 entitled Bisimulation and Observation Equivalence, 106-128, Prentice-Hall International (UK) Ltd. (1989).
K. K. Sabnani et al., "An Algorithmic Procedure for Checking Safety Properties of Protocols," IEEE Trans. Comm., vol. 37, No. 9, 940-948, Sep. 1989.

Affiliated with

Also associated with

Rating

Method and apparatus for testing protocols does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and apparatus for testing protocols, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for testing protocols will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1110321