PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bertolino A., Strigini L. Assessing the risk due to software faults: estimates of failure rate versus evidence of perfection. In: Software Testing Verification & Reliability, vol. 8 (3) pp. 155 - 166. Wiley, 1998.
 
 
Abstract
(English)
In the debate over the assessment of software reliability (or safety), as applied to critical software, two extreme positions can be discerned: the ‘statistical’ position, which requires that the claims of reliability be supported by statistical inference from realistic testing or operation, and the ‘perfectionist’ position, which requires convincing indications that the software is free from defects. These two positions naturally lead to requiring different kinds of supporting evidence, and actually to stating the dependability requirements in different ways, not allowing any direct comparison. There is often confusion about the relationship between statements about software failure rates and about software correctness, and about which evidence can support either kind of statement. This note clarifies the meaning of the two kinds of statement and how they relate to the probability of failure-free operation, and discusses their practical merits, especially for high required reliability or safety.
Subject software testing
verification and reliability
D.2.7 Distribution, Maintenance, and Enhancement


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