Quality assurance and testing for safety systems

Authors:
Herbert Hecht;Myron Hecht
Affiliations:
SoHaR Incorporated, 8421 Wilshire Blvd., Suite 201, Beverly Hills, CA 90211, USA;SoHaR Incorporated, 8421 Wilshire Blvd., Suite 201, Beverly Hills, CA 90211, USA
Venue:
Annals of Software Engineering
Year:
1997

Citing 3
Cited 0

Software reliability: measurement, prediction, application

Software reliability: measurement, prediction, application
An Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability

IEEE Transactions on Software Engineering
Faults on its sleeve: amplifying software reliability testing

ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we identify special quality assurance and test requirements of software for safety systems and show that even the best currently available practices meet these requirements only at very high cost and by application of empirical rather than technically rigorous criteria. Redundancy can help but is expensive and the reduction in failure probability due to software redundancy is uncertain. We identify a qualitative approach to test data interpretation, particularly the examination of rare events in the conditions that precipitated an observed failure, as a possible avenue for a more economical reliability assessment. This can be used as an alternative or as a supplement to redundancy for meeting the reliability requirements for software in safety systems. Further research in this area is recommended.