Automatic protocol test suite derivation

Author

Chanson, Samuel T. ; Zhu, Jinsong

Author_Institution

Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada

fYear

1994

fDate

12-16 Jun 1994

Firstpage

792

Abstract

In this paper, an automatic protocol test case generator that generates both test sequence and test data is presented. The underlying model is an extended finite state machine (EFSM) and Estelle is used as the formal description language. First, test sequences are generated using a combined control and data flow testing method. A set of path conditions associated with each test sequence is obtained using symbolic execution techniques. By solving the path conditions as a group of constraints, test data are then automatically generated. A prototype system implementing the above procedures has been built. The system has been used to generate test cases for real protocols such as TP0, FDDI and LAPB, and has been integrated in the UBC protocol testing environment

Keywords

automatic test equipment; conformance testing; finite state machines; formal specification; protocols; EFSM; Estelle; FDDI; LAPB; TP0; UBC protocol testing environment; automatic protocol test case generator; automatic protocol test suite; data flow testing method; extended finite state machine; formal description language; path conditions; prototype system; symbolic execution techniques; test data; test sequence; Automatic control; Automatic generation control; Automatic testing; Computer science; Error correction; FDDI; Humans; Protocols; Prototypes; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

INFOCOM '94. Networking for Global Communications., 13th Proceedings IEEE

Conference_Location

Toronto, Ont.

Print_ISBN

0-8186-5570-4

Type

conf

DOI

10.1109/INFCOM.1994.337659

Filename

337659