Formal Specification, Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI
Date Submitted: 09/09/2006 23:44:08
Category: / Science & Technology / Computers and Cybernetics
Length: 20 pages (5407 words)
Category: / Science & Technology / Computers and Cybernetics
Length: 20 pages (5407 words)
1. Introduction
For the reliability of ATM networks, there is an urgent need to apply some formal methods in validating these protocols and in generating test cases. The tools needed to accomplish these purposes include: a technique to model the protocol, a formal description language to describe the model, a protocol simulator to perform verifications, and a test generator to produce test cases. This work is a case study of applying formal verification and test generation …
Is this Essay helpful? Join now to read this particular paper
and access over 480,000 just like this GET BETTER GRADES
and access over 480,000 just like this GET BETTER GRADES
…af-pnni-0055.000, March 1996.
[2] David Lee and David Su, ?Modeling and Testing of Protocol Systems,? Testing of Communicating Systems, pp. 339-363, Vol. 10, 1997.
[3] Gerard Holzmann, Design and Validation of Computer Protocols, Prentice-Hall, 1991.
[4] David Lee and Mihalis Yannakakis, ?PITHIA ? an Automatic Test Generation Software Tool for Communication Systems,? Bell Labs. Technical Report 1998.
[5] SPIN: http://netlib.bell-labs.com/netlib/spin
[6] David Cypher, David Lee, Christian Pins, David Su - Formal Specification, Verification, and Automatic Test Generation of PNNI, Bell Labs 1999
Need a custom written paper? Let our professional writers save your time.