Software reliability metrics based on static analysis

Computer Systems and Software

Technique of software reliability metrics evaluation based on static analysis is proposed in this article. The reliability metrics are evaluated together with defect detection. The technique is applicable to various programming languages. C language is chosen for example.