Modeling the effects of combining diverse software fault detection techniques

IEEE Transactions on Software Engineering

Volumn 26, Issue 12, 2000, Pages 1157-1167

  Littlewood, Bev ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; OPTIMIZATION; PROGRAM DIAGNOSTICS; RAILROAD SIGNAL SYSTEMS; RELIABILITY; STATISTICAL TESTS;

DESIGN DIVERSITY; SOFTWARE FAULT DETECTION; SOFTWARE RELIABILITY;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0034478715     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.888629     Document Type: Article

References (15)

1. E.N. Adams, Optimizing Preventive Maintenance of Software Products, IBM ]. Research and Development, vol. 28, no. 1, pp. 2-14, 1984.
2. V. Basili and S. Green, Software Process Evolution at the SEL, IEEE Software, vol. 11, no. 4, pp. 58-66, 1994.
3. V.R. Basili and R. Selby, Comparing the Effectiveness of Software Testing Strategies, IEEE Trans. Software Eng., vol. 13, no. 12, pp. 1,278-1,296, 1987.
4. D.E. Eckhardt, A.K. Caglayan, J.C. Knight, L.D. Lee, D.E. McAllister, M.A. Vouk, and J.P.J. Kelly, An Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability, IEEE Trans. Software Eng., vol. 17, no. 7, pp. 692-702, 1991.
5. D.E. Eckhardt and L.D. Lee, A Theoretical Basis of Multiversion Software Subject to Coincident Errors, IEEE Trans. Software Eng., vol. 11, pp. 1,511-1,517, 1985.
6. P. Frankl, R. Hamlet, B. Littlewood, and L. Strigini., Choosing a Testing Method to Deliver Reliability, Proc. 19th Int'l Conf. Software Eng. (ICSE '97), pp. 68-78, 1997.
7. P. Frankl and S.N. Weiss, An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing, IEEE Trans. Software Eng., vol. 19, no. 8, pp. 774-787, 1993.
8. R.B. Grady., Practical Software Metrics for Project Management and Process Improvement. Prentice-Hall, 1992.
9. J.C. Knight and N.G. Leveson, Experimental Evaluation of the Assumption of Independence in Multiversion Software, IEEE Trans. Software Eng., vol. 12, no. 1, pp. 96-109, 1986.
10. B. Littlewood and D.R. Miller, Conceptual Modeling of Coincident Failures in Multi-Version Software, IEEE Trans. Software Eng., vol. 15, no. 12, pp. 1,596-1,614, 1989.
11. [II] J.C. Rouquet and P.J. Traverse., Safe and Reliable Computing on Board the Airbus and ATR Aircraft, Proc. Safecomp: Fifth IFAC Workshop Safety of Computer Control Systems, 1986.
12. T.J. Shimeall and N.G. Leveson, An Empirical Comparison of Software Fault Tolerance and Fault Elimination, IEEE Trans. Software Eng., vol. 17, no. 2, pp. 173-182, 1991.
13. N.M. Shryane, S.J. Westerman, C.M. Crawshaw, G.R.J. Hockey, and J. Sauer, Task Analysis for the Investigation of Human Error in Safety-Critical Software Design: A Convergent Methods Approach, Ergonomics, vol. 41, no. 11, pp. 1,719-1,736, 1998.
14. S.J. Westerman, N.M. Shryane, C.M. Crawshaw, and G.R.J. Hockey., Engineering Cognitive Diversity, Proc. Fifth Safety Critical Systems Symp., 1997.
15. S.J. Westerman, N.M. Shryane, C.M. Crawshaw, G.R.J. Hockey, and C.W. Wyatt-Millington., Cognitive Diversity: A Structured Approach to Trapping Human Error, Proc. Safecomp '95: 14th Int'l Conf. Computer Safety, Reliability, and Security, 1995.