The effect of testing on reliability of fault-tolerant software

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2004, Pages 265-274

  Popov, Peter ^a   Littlewood, Bev ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SYSTEM RECOVERY; PARAMETER ESTIMATION; PROBABILITY; PROBLEM SOLVING; PROGRAM DEBUGGING; RANDOM PROCESSES; RELIABILITY THEORY; SOFTWARE ENGINEERING;

RANDOM VARIABLES; SOFTWARE DIVERSITY;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 4544326540     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/dsn.2004.1311896     Document Type: Conference Paper

References (7)

1. Eckhardt, D.E. and L.D. Lee, A theoretical basis for the analysis of multiversion software subject to coincident errors. IEEE Transactions on Software Engineering, 1985. SE-11(12): p. 1511-1517.
2. Littlewood, B. and D.R. Miller, Conceptual Modelling of Coincident Failures in Multi-Version Software. IEEE Transactions on Software Engineering, 1989. SE-15(12): p. 1596-1614.
3. Littlewood, B. and D. Wright, Some conservative stopping rules for the operational testing of safety-critical software. IEEE Transactions on Software Engineering, 1997. 23(11): p. 673-683.
4. Miller, K.W., L.J. Morell, et al., Estimating the Probability of Failure When Testing Reveals No Failures. IEEE Transactions on Software Engineering, 1992. 18(1): p. 33-43.
5. Djambazov, K.B. and P. Popov. The effects of testing on the reliability of single version and 1-out-of-2 software, in 6th International Symposium on Software Reliability Engineering, ISSRE'95. 1995. Toulouse: IEEE Computer Society Press. p. 219-228.
6. Littlewood, B., P. Popov, et al., Modelling the effects of combining diverse software fault removal techniques. IEEE Transactions on Software Engineering, 2000. SE-26(12): p. 1157-1167.
7. Popov, P. and L. Strigini. The Reliability of Diverse Systems: a Contribution using Modelling of the Fault Creation Process. in DSN 2001 - The International Conference on Dependable Systems and Networks. 2001. Goteborg, Sweden, p. 5-14.