A Brief Introduction to Software Reliability

The clearest technical measurement of quality in any human-created artifact is its reliability. This term is in common use to mean something like "you can rely on it (to work)," but the technical definition is what distinguishes engineering from science and from art: engineering artifacts have a quantitative measurement of their technical reliability, a measurement that can be used to calculate a probability that they will not fail.

(Not-so!) Frequently Asked Questions

What is technical software reliability ?

Software "probably" correct?! The minefield analogy.

What's wrong with current ideas about software reliability?