Abstract
This paper is part of an on-going empirical research programme to develop an improved understanding of the implementation and evaluation of on-line diagnostics in software. In this study we have concentrated on the hypothesis that residual design errors exist because their coupling to the input space is very small, making them difficult to detect in normal testing. The objective of the reported experiment was basically to add a simple group of diagnostic checks to a reasonably complex program and use arbitrary fault injection to assess the error detection in relation to the coupling of the fault to the input space. The results were promising in that they demonstrated no significant deterioration in the effectiveness of the diagnostics as the fault coupling to the input space decreased. On this basis the use of diagnostics can be seen as supplementary to validation testing.
This is a preview of subscription content, log in via an institution to check access.
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
Michael, R. Lyu, Editor, Handbook of Software Reliability Engineering, IEEE Computer Society Press (1996)
Rabajec, C, On-line Error Detection by Executable Assertions, Safecomp95, Belgirate, Italy, (October 1995)
Leveson, N G, Safeware: System Safety and Computers, Addison Wesley, (1995)
Voas, J M and McGraw, G, Software Fault Injection: Inoculating Programs Against Errors, Wiley Computer Publishing, (1998)
Duran J.W. & Ntafos S. “An evaluation of random testing” IEEE Transactions on Software Engineering, v10 n4 pp438–444, July 1984
Napier J, Chen L, May J, Hughes G, “Fault simulation to validate fault-tolerance in Ada”, International Journal of Computer Systems: Science & Engineering, January 2000.
Anderson T and Lee PA, Fault Tolerance: Principles and Practice. Englewood Cliffs, NJ: Prentice-Hall International, 1981
Leveson, N G, Cha, S S, Knight, J C, and Shimeall, T J, The Use of Self Checks and Voting in Software Error Detection: An Empirical Study, IEEE Trans. on Software Engineering, 16(4), (April 1990).
Napier J and Hughes G, Implementing Software On-Line Diagnostics in Safety Critical Systems, Procs. of the 15th Annual UK Performance Engineering Workshop, Bristol, UK, July 1999.
Clark, J A and Pradham, D K, Fault Injection: A method for validating computer-system dependability, IEEE Computer, (June 1995) 47–56.
Carpenter, G F, Mechanism for evaluating the effectiveness of software fault-tolerant structures. Microprocessors and Microsystems, 14(8), (Oct 1990) 505–510
DeMillo RA, Lipton RJ and Sayward FG“Hints on test data selection: Help for the practising programmer.” IEEE Computer, 11(4) 34–41, April 1978.
Lala PK, “Fault Tolerant and Fault Testable Hardware Design”, Prentice Hall Intl., 1985.
Michael, C C, On the uniformity of error propagation in software, Procs. 12th Annual Conf. on Computer Assurance (COMPAS’ 97). Gaithersburg, MD, (1997).
Quirk, W. J. and Wall, D. N., “Customer Functional Requirements for the Protection System to be used as the DARTS Example”, DARTS consortium deliverable report DARTS-032-HAR-160190-G supplied under the HSE programme on Software Reliability, June 1991
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Napier, J., May, J., Hughes, G. (2000). Empirical Assessment of Software On-Line Diagnostics Using Fault Injection. In: Koornneef, F., van der Meulen, M. (eds) Computer Safety, Reliability and Security. SAFECOMP 2000. Lecture Notes in Computer Science, vol 1943. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40891-6_2
Download citation
DOI: https://doi.org/10.1007/3-540-40891-6_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41186-4
Online ISBN: 978-3-540-40891-8
eBook Packages: Springer Book Archive