Testing Safety-Related Software: A Practical Handbook

This volume is based on the experiences of contributors 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 the principles and techniques for testing safety-related software. Comprehensive and accessible, this volume details testing issues for safety-related software and should be a useful resource for the practitioner.