Publisher's Synopsis
The spread of network-based development platforms has made possible the exploitation of the processing power of multi-processor installations worldwide, provision of fault-tolerance and reliability in safety-critical systems, and the ability to deal with physically distributed computing systems. This book outlines methodology for developing test scenarios suitable for bug detection as well as quality evaluation of distributed applications. A complex example based upon a standard platform for distributed software is included to illustrate the methodology developed in the book.
