Rigorously Assessing Software Reliability and Safety
Lorenzo Strigini, Norman Fenton · City Research Online (City University London) · 1996
This paper summarises the state of the art in the assessment of software reliability and safety ("dependability"), and describes some promising developments.A sound demonstration of very high dependability is still impossible before operation of the software; but research is finding ways to make rigorous assessment increasingly feasible.While refined mathematical techniques cannot take the place of factual knowledge, they can allow the decision-maker to draw more accurate conclusions from the knowledge that is available.