HKUST Library Institutional Repository Banner

HKUST Institutional Repository >
Computer Science and Engineering >
CSE Conference Papers >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1783.1/2188
Title: Automatic protocol test suite derivation
Authors: Chanson, Samuel T.
Zhu, Jinsong
Keywords: Automatic protocol test
Formal description
Test sequences
Test data
Issue Date: Jun-1994
Citation: Proceedings of the 13th IEEE INFOCOM, Toronto, Canada, June 1994, p. 792-799
Abstract: In this paper, an automatic protocol test case generator which 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.
Rights: © 1994 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
URI: http://hdl.handle.net/1783.1/2188
Appears in Collections:CSE Conference Papers

Files in This Item:

File Description SizeFormat
1_6auto.pdfpre-published version1482KbAdobe PDFView/Open

All items in this Repository are protected by copyright, with all rights reserved.