Abstract
In this paper, fault simulation is discussed as a test method for diversity assessment of multiversion software and data flow perturbation is used as a main technique for implementation. More specifically, constant perturbation is introduced as a specific example of data-flow perturbation. Some quantitative metrics are proposed for the description of software diversity, and the parameters needed to calculate the metrics estimated by fault injection experiments. A case study is presented to illustrate that the diversity metrics are appropriate, and that constant perturbation is a practical fault injecting technique to estimate parameters necessary for assessing diversity.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Avizienis, A.: The N-version approach to fault-tolerant software. IEEE Trans. Software Eng., Vol. SE-11(1985) 1491–1501
Bishop, P. B., et al.: PODS-Aproject on diverse software. IEEE Trans. Software Eng., Vol. SE-12, No.9(1986) 929–940
Knight, J., Leveson, N.: An experimental evaluation of the assumption of independence in multi-version programming. IEEE Trans. Software Eng., Vol. SE-12, no.1(1986) 96–109
Eckhardt, D., Lee, L.: A theoretical basis for the analysis of multiversion software subject to coincident errors. IEEE Trans. Software Eng., Vol. SE-11, no.12(1985)1511–1517
Littlewood, B., Miller, D.: Conceptual modeling of coincident failures in multiversion software. IEEE Trans. Software Eng., Vol. SE-15, no.12(1985)1596–1614
Littlewood, B.: Predicting software reliability, Phil. Trans. Roy. Soc. London(1989) 95–117
Voas, J. M., McGraw, G.: Software Fault Injection: Inoculating programs against errors. “Wiley Computer Publishing”, 1998
Kawata, H., Yoshida, H., Nagai, M., Saijo, H.: Software testing. Journal of Information Processing, Vol.14, No.3(1991) 246–253
Laski, J., Szermer, W., Luczycki, P.: Error Masking in computer programs. Software testing. Verification, and Reliability, Vol.5(1995) 81–105
Voas, J., et al.: ‘Crystal ball’ for software liability. Computer, Vol.30, No.6 (1997)
Napier, J., Chen, L., May, J., Hughes, G.: Fault simulation to validate fault-tolerance in Ada. Int. J Computer Sys. Sci. & Eng. 1(2000) 113–125
May, J., Hughes, G., Zhu, H.: Statistical Software Testing, and Test Adequacy. S. Gardiner, editor, Springer (1999): 155–170
Rapps, S., Weyuker, W. J.: Selecting software test data using data flow information. IEEE Transactions on Software Engineering, 11(4)(1985) 367–375
Frankl, P. G., Weyuker, E. J.: An applicable family of data flow testing criteria. IEEE Transactions on Software Engineering, 14(10)(1988) 1483–1498
Offutt, A. J., et al.: An experimental evaluation of data flow and mutation testing. SP&E 26(2)(1996) 165–176
Chen, L., Napier, J., May, J., Hughes, G.: Testing the diversity of multi version software using fault injection. Procs of Advances in Safety and Reliability, SARSS(1999) 13.1–13.10
Cottam, M., May J., et al.: Fault Analysis of the Software Generation Process — The FASGEP Project, Proceedings of the Safety and Reliability Society Symposium: Risk Management and Critical Protective Systems, Altrincham, UK October (1994)
May, J., et al.: Fault Prediction for Software Development Processes, Proceedings of Institute of Mathematics and its Applications Conference on the Mathematics of Dependable Systems, Royal Holloway, Univ. of London, Egham, Surrey 1–3 Sept.(1993)
Kuball, S., May, J., Hughes, G.: Structural Software Reliability Estimation. Lecture Notes in Computer Science, Computer Safety, Reliability and Security, 1698(1999) 336–349
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
Chen, L., May, J., Hughes, G. (2000). A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software. 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_6
Download citation
DOI: https://doi.org/10.1007/3-540-40891-6_6
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