SEApr 28, 2014
Evaluating the Assessment of Software Fault-Freeness
arXiv:1404.6844v17 citations
Originality Synthesis-oriented
AI Analysis
This addresses software reliability for developers and certifiers, but appears incremental as it focuses on validating an existing theory.
The paper tackles the problem of validating a software certification theory that converts confidence in fault-freeness into predictions of failure-free operation, with the result being an experimental evaluation of this approach.
We propose to validate experimentally a theory of software certification that proceeds from assessment of confidence in fault-freeness (due to standards) to conservative prediction of failure-free operation.