An empirical comparison of software fault tolerance and fault elimination

IEEE Transactions on Software Engineering

Volumn 17, Issue 2, 1991, Pages 173-182

  Shimeall, Timothy J ^a   Leveson, Nancy G ^a  

^a USA ^*

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - PROGRAMMING THEORY; COMPUTER SYSTEMS, DIGITAL - RELIABILITY;

FAULT ELIMINATION; SOFTWARE DEVELOPMENT; SOFTWARE EXPERIMENTS; STATIC ANALYSIS;

COMPUTER SOFTWARE;

EID: 0026103623     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.67598     Document Type: Article

References (29)

1. Glossary of software engineering terminology 1983 ANSI-IEEE Standard 729-1983
2. T. Anderson P. A. Barrett D. N. Halliwell M. R. Moulding Software fault tolerance: An evaluation IEEE Trans. Software Eng. SE-11 12 1502 1510 Dec. 1985
3. T. Anderson P. A. Lee Fault Tolerance: Principles and Practice 1981 Prentice-Hall NJ, Englewood Cliffs
4. A. Avizienis J. P. J. Kelly Fault tolerance by design diversity: Concepts and experiments Computer 17 67 80 Aug. 1984
5. V. R. Basili R. W. Selby Comparing the effectiveness of software testing strategies IEEE Trans. Software Eng. SE-13 12 1278 1296 Dec. 1987
6. P. G. Bishop D. G. Esp M. Barnes P. Humphreys G. Dahl J. Lahti PODS—A project on diverse software IEEE Trans. Software Eng. SE-12 9 929 940 1986
7. S. S. Brilliant Testing software using multiple versions Sept. 1987 Univ. Virginia Charlottesville
8. S. S. Brilliant J. C. Knight N. G. Leveson The consistent comparison problem in multiversion software IEEE Trans. Software Eng. 15 11 1481 1485 Nov. 1989
9. S. S. Brilliant J. C. Knight N. G. Leveson Analysis of faults in an Adversion software experiment IEEE Trans. Software Eng. 16 2 238 247 Feb. 1990
10. J. E. Brunelle D. E. Eckhardt Fault tolerant software: Experiment with the SIFT operating system Proc. AIAA Computers in Aerospace V Conf. 355 360 Proc. AIAA Computers in Aerospace V Conf. 1985-Oct.
11. L. Chen A. Avizienis N-version programming: A fault tolerance approach to the reliability of software Proc. Eighth Int. Symp. Fault-Tolerant Computing 3 9 Proc. Eighth Int. Symp. Fault-Tolerant Computing Toulouse France 1978-June
12. A. W. Dobieski Modeling tactical military operations Quest 1 25 1979
13. L. D. Fosdick L. J. Osterweil Data flow analysis in software reliability ACM Comput. Surveys 8 3 305 330 Sept. 1976
14. P. Frankl E. Weyuker Data flow testing in the presence of unexecutable paths Proc. Workshop Software Testing 4 13 Proc. Workshop Software Testing Banff Canada 1986-July
15. M. R. Girgis M. R. Woodward An experimental comparison of the error exposing ability of program testing criteria Proc. Software Testing Workshop 64 73 Proc. Software Testing Workshop Banff Canada 1986
16. W. C. Hetzel An experimental analysis of program verification methods 1976 Univ. North Carolina Chapel Hill
17. W. E. Howden Functional testing and design abstractions J. Syst. Software 1 307 313 1980
18. Tutorial: Software Testing and Validation Techniques 101 115 1981 IEEE Press New York A survey of static analysis methods
19. J. C. Knight N. G. Leveson Experimental evaluation of the assumption of independence in multiversion programming IEEE Trans. Software Eng. SE-12 96 109 Jan. 1986
20. J. C. Knight N. G. Leveson An empirical study of failure probabilities in multiversion software Proc. Sixteenth Int. Symp. Fault-Tolerant Computing 165 170 Proc. Sixteenth Int. Symp. Fault-Tolerant Computing Vienna Austria 1986-July
21. Personal communication with Larry Yount of Honeywell/Sperry Avionics and Robert Hall and Michael Dewalt of the FAA
22. N. G. Leveson S. S. Cha J. C. Knight T. J. Shimeall The use of self checks and voting in software error detection: An empirical study IEEE Trans. Software Eng. 16 4 432 443 Apr. 1990
23. R. C. Linger H. D. Mills Β. I. Witt Structured Programming: Theory and Practice 147 212 1979 Addison-Wesley MA, Reading
24. P. M. Melliar-Smith R. L. Schwartz Formal specification and mechanical verification of SIFT: A fault-tolerant flight-control system IEEE Trans. Comput. C-31 7 616 630 July 1982
25. G. J. Myers A controlled experiment in program testing and code walk-throughs/inspections Commun. ACM 760 768 Sept. 1978
26. C. V. Ramamoorthy Y. K. Mok Ε. B. Bastani G. H. Chin K. Suzuki Application of a methodology for the development and validation of reliable process control software IEEE Trans. Software Eng. SE-7 6 537 555 Nov. 1981
27. C. V. Ramamoorthy S. F. Ho Testing large software with automated software evaluation systems IEEE Trans. Software Eng. SE-1 1 46 58 Mar. 1975
28. F. Saglietti W. Ehrenberger Software diversity—Some considerations about its benefits and its limitations Proc. Safecomp '86 Proc. Safecomp '86 Sarlat France 1986-Oct.
29. K. S. Tso A. Avizienis J. P. J. Kelly Error recovery in multiversion software development Proc. Safecomp '86 43 50 Proc. Safecomp '86 Sarlat France 1986-Oct.