Testing Safety-Related Software
Subtitle: a Practical Handbook
By: edited by Stewart N. Gardiner
Publisher: Springer London
Published: 1999
Place of publication: London
Language: eng
Format: [electronic resource] :
Number of pages: 226
ISBN-13: 9781447132776
Description: 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.
Table of contents: title: Introduction; title: Testing and the Safety Case; title: Designing for Testability; title: Testing of Timing Aspects; title: The Test Environment; title: The Use of Simulators; title: Test Adequacy; title: Statistical Software Testing; title: Empirical Quantifiable Measures of Testing; title: References; title: Appendix A; title: Bibliography; title: Index.