Contribution to the evaluation of the reliability of iterative-execution software

Software Testing Verification and Reliability

Volumn 9, Issue 3, 1999, Pages 145-166

  Bondavalli, Andrea ^a   Chiaradonna, Silvano ^a   Di Giandomenico, Felicita ^b   Strigini, Lorenzo ^c  

^a ISTI CNR   (Italy)

^b CNR   (Italy)

^c CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CORRELATION METHODS; FAULT TOLERANT COMPUTER SYSTEMS; MATHEMATICAL MODELS; PROBABILITY;

FAILURE CLUSTERING; ITERATIVE SOFTWARE;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0032668644     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1099-1689(199909)9:3<145::AID-STVR179>3.0.CO;2-B     Document Type: Article

References (24)

1. Amman, P. E. and Knight, J. C. (1988) 'Data diversity: an approach to software fault tolerance', IEEE Transactions on Computers, 37(4), 418-425.
2. Arlat, J., Kanoun, K. and Laprie, J. C. (1990) 'Dependability modelling and evaluation of software fault-tolerant systems', IEEE Transactions on Computers, 39(4), 504-512.
3. Avizienis, A. and Chen, L. (1977) 'On the implementation of N-version programming for software fault tolerance during program execution', Proceedings of the 1st International Conference on Computing Software Applications (COMPSAC-77), pp. 149-155.
4. Avizienis, A. and Kelly, J. P. J. (1984) 'Fault tolerance by design diversity: concepts and experiments', IEEE Computer, 17(8), 67-80.
5. Bishop, P. G. (1993) 'The variation of software survival time for different operational input profiles (or why you can wait a long time for a big bug to fail)', Proceedings of the 23rd IEEE International Symposium on Fault-Tolerant Computing (FTCS-23), Toulouse, France, pp. 98-107.
6. Bishop, P. G. and Pullen, F. D. (1988) 'PODS revisited - a study of software failure behaviour', Proceedings of the 18th IEEE International Symposium on Fault-Tolerant Computing (FTCS-18), Tokyo, Japan, pp. 1-8.
7. Bondavalli, A., Chiaradonna, S., Di Giandomenico, F. and Strigini, L. (1994) 'Modelling correlation among successive inputs in software dependability analyses', CNUCE-CNR Technical Report N. C94-20, 1994. Obtainable from the first named author and URL http://bonda.cnuce. cnr.it/Documentation/Reports/Reports.html
8. Bondavalli, A., Chiaradonna, S., Di Giandomenico, F. and Strigini, L. (1995) 'Dependability models for iterative software considering correlation among successive inputs', in Proceedings of the IEEE International Computer Performance and Dependability Symposium (IPDS'95), Erlangen, Germany, IEEE Computer Society, Los Alamitos, California, U.S.A., pp. 13-21.
9. Brilliant, S. S., Knight, J. C. and Leveson, N. G. (1990) 'Analysis of faults in an N-version software experiment', IEEE Transactions on Software Engineering, 16(2), 238-247.
10. Chen, S. and Mills, S. (1996) 'A binary Markov process model for random testing', IEEE Transactions on Software Engineering, 22(3), 218-223.
11. Chiaradonna, S., Bondavalli, A. and Strigini, L. (1994) 'On performability modeling and evaluation of software fault tolerance structures', in Proceedings of the 1st European Dependable Computing Conference (EDCC-I), Berlin, Germany, Springer-Verlag, pp. 97-114.
12. Csenki, A. (1991) 'Recovery block reliability analysis with failure clustering', in Proceedings of the 1st IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-I), Santa Barbara, California, 23-25 August 1989, Dependable Computing and Fault-Tolerant Systems, Vol. 4, Springer-Verlag, pp. 75-103.
13. IEEE (1993) 'Special issue on fault-tolerant software', IEEE Transactions on Reliability, 42(2), 177-258.
14. Knight, J. C. and Leveson, N. G. (1986) 'An experimental evaluation of the assumption of independence in multi-version programming', IEEE Transactions on Software Engineering, 12(1), 96-109.
15. Laprie, J. C., Arlat, J., Beounes, C. and Kanoun, K. (1990) 'Definition and analysis of hardware-and-software fault-tolerant architectures', IEEE Computer, 23(7), 39-51.
16. Littlewood, B. and Miller, D. R. (1989) 'Conceptual modelling of coincident failures in multiversion software', IEEE Transactions on Software Engineering, 15(12), 1596-1614.
17. Musa, J., Juhlin, B., Fuoco, G., Kropfl, D. and Irving, N. (1996) 'The operational profile', in M. R. Lyu (Ed.), Handbook of Software Reliability Engineering, McGraw-Hill, New York, U.S.A., and IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp. 167-216.
18. Randell, B. (1975) 'System structure for software fault tolerance', IEEE Transactions on Software Engineering, 1(2), 220-232.
19. Strigini, L. (1996) 'On testing process control software for reliability assessment: the effects of correlation between successive inputs', Software Testing, Verification and Reliability, 6(1), 36-48.
20. Tai, A. T., Meyer, J. F. and Avizienis, A. (1996) Software Performability: from Concepts to Applications, Kluwer Academic Publishers, Norwell, Massachusetts, U.S.A.
21. Tomek, L. A., Muppala, J. K. and Trivedi, K. S. (1993) 'Modeling correlation in software recovery blocks', IEEE Transactions on Software Engineering, 19(11), 1071-1085.
22. Trivedi, K. S. (1982) Probability and Statistics with Reliability, Queuing, and Computer Science Applications, Prentice-Hall, Englewood Cliffs, New Jersey, U.S.A.
23. Voges, U. (1988) A. Avizienis, H. Kopetz and J. C. Laprie (Eds.), Software Diversity in Computerized Control Systems, Dependable Computing and Fault-Tolerance Series, Vol. 2, Springer-Verlag, Vienna, Austria.
24. Xu, J., Bondavalli, A. and Di Giandomenico, F. (1995) 'Dynamic adjustment of dependability and efficiency in fault-tolerant software', in B. Randell, J. C. Laprie, H. Kopetz and B. Littlewood (Eds.), Predictably Dependable Computing Systems, Springer-Verlag, pp. 155-172.