Software reliability metrics based on static analysis

Computer Systems and Software
Authors:
Moiseev Mikhail Yu. Karpenko Anatoliy V.
Abstract:

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.