HKUST Institutional Repository >
Computer Science and Engineering >
CSE Conference Papers >
Please use this identifier to cite or link to this item:
|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|
|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/|
|Appears in Collections:||CSE Conference Papers|
Files in This Item:
|1_1framdes.pdf||pre-published version||2833Kb||Adobe PDF||View/Open|
All items in this Repository are protected by copyright, with all rights reserved.