The Effectiveness of Statistical Testing when Applied to Logic Systems

Authors:
Silke Kuball;Gordon Hughes;John H. R. May;Julio Gallardo;Andrew D. John;Roy B. Carter
Affiliations:
-;-;-;-;-;-
Venue:
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Year:
2001

Citing 3
Cited 0

Estimating the Probability of Failure When Testing Reveals No Failures

IEEE Transactions on Software Engineering
Operational Profiles in Software-Reliability Engineering

IEEE Software
Building a System Failure Rate Estimator by Identifying Component Failure Rates

ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we demonstrate the effectiveness of statistical testing for error detection on the example of a Programmable Logic System (PLS). The introduction of statistical testing arose from the wish to quantify the PLS's reliability. An appropriate statistical testing algorithm was devised and implemented, which is described in detail in this paper. We compare the results of statistical testing with those of a variety of other testing methods employed on the PLS. In terms of differences detected per number of tests, statistical testing showed an outstanding effectiveness. Furthermore, it detected a problem, which was missed by all other testing techniques. This together with its potential for reliability quantification illustrates its importance for system validation as part of a risk-based safety-case.