Istituto di Scienza e Tecnologie dell'Informazione     
Crestani F., Sebastiani F., Rijsbergen C. Imaging and information retrieval : variations on a theme. In: WIRUL '96. 2nd Workshop on Information Retrieval, Uncertainty and Logic (Glasgow, 12 luglio 1996). Proceedings, pp. 48 - 49. F. Crestani, M. Lalmas (eds.). University of Glasgow, 1996.
Testability is defined as the probability that a program will fail a test, conditional on the program containing some fault. In this paper, we show that statements about the testability of a program can be more simply described in terms of assumptions on the probability distribution of the failure intensity of the program. We can thus state general acceptance conditions in clear mathematical terms using Bayesian inference. We develop two scenarios, one for software for which the reliability requirements are that the software must be completely fault-free, and another for requirements stated as an upper bound on the acceptable failure probability.

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