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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Duran and J. Wiorkowski,“Quantifying Software Validity by Sampling”, IEEE Software Reliability, R-29, No. 2 (1980) 141–144
K.W. Miller et al., “Estimating the Probability of Failure when Testing reveals no Failures”, IEEE Trans. Software Eng. 18, No. 1 (1992) 33–43
W.D. Ehrenberger, “Probabilistic Techniques for Software Verification”, paper produced for the IAEA Technical Committee Meeting on Safety Implications of Computerised Process Control in Nuclear Power Plants, Vienna Austria, November 1989
S. Kuball, J. May and G. Hughes, “Building a System Failure Rate Estimator by Identifying Component Failure Rates”, Proceedings from ISSRE’99, IEEE Computer Society Press (1999) 32–41
J.D. Musa, “Operational Profiles in Software-Reliability Engineering”, IEEE Software, March 1993, 14–32
J.H. May, G. Hughes and A.D. Lunn, “Reliability Estimation from Appropriate Testing of Plant Protection Software”, Software Engineering Journal, November 1995, 206–218
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kuball, S., Hughes, G., May, J.H.R., Gallardo, J., John, A.D., Carter, R.B. (2001). The Effectiveness of Statistical Testing when Applied to Logic Systems. In: Voges, U. (eds) Computer Safety, Reliability and Security. SAFECOMP 2001. Lecture Notes in Computer Science, vol 2187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45416-0_16
Download citation
DOI: https://doi.org/10.1007/3-540-45416-0_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42607-3
Online ISBN: 978-3-540-45416-8
eBook Packages: Springer Book Archive