Formal Specification, Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI
Title: Formal Specification, Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI
Category: /Science & Technology/Computers and Cybernetics
Details: Words: 5407 | Pages: 20 (approximately 235 words/page)
Formal Specification, Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI
Category: /Science & Technology/Computers and Cybernetics
Details: Words: 5407 | Pages: 20 (approximately 235 words/page)
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
showed first 75 words of 5407 total
You are viewing only a small portion of the paper.
Please login or register to access the full copy.
Please login or register to access the full copy.
showed last 75 words of 5407 total
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