Evaluation of safety-critical software
Communications of the ACM
A Critique of Software Defect Prediction Models
IEEE Transactions on Software Engineering
Software Verification and Validation: Realistic Project Approaches
Software Verification and Validation: Realistic Project Approaches
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
IEEE Transactions on Software Engineering
Ranking Software Engineering Measures Related to Reliability Using Expert Opinion
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Finding upper bounds for software failure probabilities – experiments and results
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Hi-index | 0.00 |
The authors suggest that subjective reliability estimation from the development lifecycle, based on observed behavior or the reflection of one's belief in the system quality, be included in certification. In statistical terms, the authors hypothesize that a system failure occurs with the estimated probability. Presumed reliability needs to be corroborated by statistical testing during the reliability certification phase. As evidence relevant to the hypothesis increases, the authors change the degree of belief in the hypothesis. Depending on the corroboration evidence, the system is either certified or rejected. The advantage of the proposed theory is an economically acceptable number of required system certification tests, even for high assurance systems so far considered impossible to certify.