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.