Conceptual models for the reliability of diverse systems-new results

作者: P. Popov , L. Strigini

DOI: 10.1109/FTCS.1998.689457

关键词: Fault toleranceProcess (engineering)Electrical capacitance tomographyReliability engineeringAdvice (complexity)Theoretical computer scienceSoftware qualitySoftwareVariation (game tree)Computer scienceReliability (statistics)

摘要: We address problems in modelling the reliability of multiple-version software, and present models intended to improve understanding various ways failure dependence between versions can arise. The previous models, by Eckhardt Lee (1985) Littlewood Miller (1989), described what behaviour could be expected "on average" from a randomly chosen pair "independently generated" versions. Instead, we problem predicting specific concept variation difficulty situations which software may subject is central cited. show that it has even more far-reaching implications than previously found. In particular, consider practical two phenomena: varying probabilities over input sub-domains or operating regimes; positive correlation successive executions control software. Our analysis provides some advice for regulators, useful insight into non-intuitive aspects process diverse

参考文章(25)
J. Arlat, A. Grnarov, A. Avizienis, ON THE PERFORMANCE OF SOFTWARE FAULT-TOLERANCE STRATEGIES+ ,(1980)
Michael R. Lyu, Software Fault Tolerance John Wiley & Sons, Inc.. ,(1995)
Ravishankar K. Iyer, Inhwan Lee, Measurement-based analysis of software reliability international symposium on software reliability engineering. pp. 303- 358 ,(1996)
John C. Knight, Nancy G. Leveson, An experimental evaluation of the assumption of independence in multiversion programming IEEE Transactions on Software Engineering. ,vol. 12, pp. 96- 109 ,(1986) , 10.1109/TSE.1986.6312924
J. Arlat, K. Kanoun, J.-C. Laprie, Dependability modeling and evaluation of software fault-tolerant systems IEEE Transactions on Computers. ,vol. 39, pp. 504- 513 ,(1990) , 10.1109/12.54843
V.F. Nicola, A. Goyal, Modeling of correlated failures and community error recovery in multiversion software IEEE Transactions on Software Engineering. ,vol. 16, pp. 350- 359 ,(1990) , 10.1109/32.48942
D.E. Eckhardt, L.D. Lee, A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors IEEE Transactions on Software Engineering. ,vol. SE-11, pp. 1511- 1517 ,(1985) , 10.1109/TSE.1985.231895
Sanping Chen, S. Mills, A binary Markov process model for random testing IEEE Transactions on Software Engineering. ,vol. 22, pp. 218- 223 ,(1996) , 10.1109/32.489081