Analysis and Testing of Distributed Software Applications (Industrial Control, Computers and Communications Series, 15)

Software developers and application programmers now have the tools to exploit the processing power of multi-processor installations that provide fault-tolerance and reliability whenever safety-critical application problems are to be solved. This book takes a new look at the testing of such tools, combining static and dynamic analyses. This allows for effective handling of interactive design of testing scenarios, on-and off-line evaluation of test outcomes, visualisation, testability improvement and creating a framework for quality testing.