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/2185
Title: A framework for the design for testability of communication protocols
Authors: Vuong, S. T.
Loureiro, A. A. F.
Chanson, Samuel T.
Keywords: Software Engineering
Design
Testing
Requirements/Specifications
Issue Date: Sep-1993
Citation: Sixth International Worshop on Protocol Test Systems, IFIP, Pau, France, Sept. 1993, p. 89-108
Abstract: As computers become faster and more powerful, distributed systems and their communication protocols have also grown larger and more complex. There is a growing consensus that some design principles are needed to overcome the ever increasing complexity of verifying and testing distributed systems. These principles are expressed as verifiability and testability properties respectively. In this paper we formulate a framework to help protocol designers to design communication protocols that are amenable to testability thereby reducing the time and effort required in testing and increasing the probability that errors will be found. The factors that affect testing and testability of communication protocols in distributed systems are studied in the context of analysis, design, implementation, and testing phases of the protocol software engineering cycle.
Rights: The original publication of the article may be found from the publisher's website http://www.springerlink.com/
URI: http://hdl.handle.net/1783.1/2185
Appears in Collections:CSE Conference Papers

Files in This Item:

File Description SizeFormat
1_1framdes.pdfpre-published version2833KbAdobe PDFView/Open

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