Automated generation of protocol test sequences from formal specifications

Author

Lundy, G.M. ; Basaran, C.

Author_Institution

Dept. of Comput. Sci., US Naval Postgraduate Sch., Monterey, CA, USA

fYear

1994

fDate

25-28 Oct 1994

Firstpage

72

Lastpage

79

Abstract

A program which takes as input the formal specification of a protocol using the formal model systems of communicating machines, and outputs a sequence of tests for an implementation of the protocol is discussed. The protocol is specified formally as a finite state machine with local and shared variables. The test program, called TESTGEN, finds all paths which may be taken through the FSM and generates a sequence of tests to check all these paths. Certain possible error conditions or difficult to test conditions are also detected by the program, and the test designer receives a warning message. The program is applied to a formal specification of the CSMA/CD and FDDI protocols, generating a test sequence for both of these protocols

Keywords

FDDI; automatic test software; carrier sense multiple access; conformance testing; finite state machines; formal specification; sequences; software tools; CSMA/CD; FDDI protocol; TESTGEN; automated generation; communicating machines; conformance tests; error conditions; finite state machine; formal model systems; formal specifications; local variables; protocol test sequences; shared variables; software tool; test conditions; test program; Automata; Automatic testing; Automation; Computer science; FDDI; Formal specifications; Modems; Protocols; System testing; US Government;

fLanguage

English

Publisher

ieee

Conference_Titel

Network Protocols, 1994. Proceedings., 1994 International Conference on

Conference_Location

Boston, MA

Print_ISBN

0-8186-6685-4

Type

conf

DOI

10.1109/ICNP.1994.344374

Filename

344374