Testing Safety-Related Software : a Practical Handbook /

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...

Full description

Bibliographic Details
Main Author:	Gardiner, Stewart N.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London, 1999.
Subjects:	Computer science. Computer system performance. Software engineering. Physics. Engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

Introduction
Testing and the Safety Case
Designing for Testability
Testing of Timing Aspects
The Test Environment
The Use of Simulators
Test Adequacy
Statistical Software Testing
Empirical Quantifiable Measures of Testing
References
Appendix A
Bibliography
Index.