Istituto di Scienza e Tecnologie dell'Informazione     
Bondavalli A., Chiaradonna S., Di Giandomenico F., La Torre S. Dependability of iterative software : a model for evaluating the effects of input correlation. In: SAFECOMP'95 - Proceedings of Safecomp 95. 14th International Conference on Computer Safety, Reliability and Security (Belgirate, Italy, 11-13 october 1995). Proceedings, pp. 489 - 503. G. Rabe (ed.). Springer, 1995.
This paper deals with the dependability evaluation of software programs of iterative nature. In this work we define a new model that is able to account for both dependencies between input values of successive iterations and the effects of sequences of consecutive failures. Differently from previously proposed models, it is based on steady state prohahilities of an iteration outcome (success, benign failure or catastrophic failure) and those representing the correlation. As such it allows to analyse the effects of the correlation between successive inputs on the dcpcndahility attributes of iterative software and assumes, as starting knowledge, information usually obtainable by testing. Requiring the designers or users to determine just the steady state probabilities of an iteration outcome, rather than difficult and costly Slate transition probabilities, this model is more useful and more generally applicable.
Subject Iterative software
B.8.1 Reliability, Testing, and Fault-Tolerance
C.4 Performance of systems

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional