A framework for the design for testability of communication protocols
|Authors||Vuong, S. T.
Loureiro, A. A. F.
Chanson, Samuel T.
|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.|
|Rights||The original publication of the article may be found from the publisher's website http://www.springerlink.com/|
Files in this item: