Please use this identifier to cite or link to this item: http://hdl.handle.net/1783.1/2185

A framework for the design for testability of communication protocols

Authors Vuong, S. T.
Loureiro, A. A. F.
Chanson, Samuel T.
Issue Date 1993-09
Source Sixth International Worshop on Protocol Test Systems, IFIP, Pau, France, , 1993, Sept. , p. 89-108
Summary 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.
Subjects
Rights The original publication of the article may be found from the publisher's website http://www.springerlink.com/
Language English
Format Conference paper
Access
Files in this item:
File Description Size Format
1_1framdes.pdf pre-published version 2901817 B Adobe PDF