This volume is based on the experiences of 8 industrial and 1 academic partner, from fields as diverse as oil and gas production, transportation, aerospace, nuclear power and defence. Together they have carried out an in-depth examination of the issues involved in demonstrating through testing that acceptable safety integrity levels can be achieved. The results of this extensive exercise have been condensed into a practical handbook which highlights in an easily assimilated and structured form the essential principles and current techniques for testing safety-related software. Up-to-date, comprehensive and accessible, it is the first volume to give detailed attention to testing issues for safety-related software and - as such - will be an invaluable resource for the practitioner.