Software reliability is an important facet of software quality. It is defined as “the probability of failure-free operation of a computer program in a specified environment for a specified time”
To improve software reliability can be applied at different stages of a program’s development, in the case of real software. These stages principally include: requirements, design, programming, testing, and runtime evaluation. The study of theoretical software reliability is predominantly concerned with the concept of correctness, a mathematical field of computer science which is an outgrowth of language and automata theory.
(more…)






