Computing, Telecommunication and Control Информатика, телекоммуникации и управление 2687-0517 22 Software reliability metrics based on static analysis Расчет метрик надежности программ на основе статического анализа Moiseev Mikhail mikhail.moiseev@gmail.com Karpenko Anatoliy 10 06 2009 3 80 139 147

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.

 source code model software reliability measurement software metrics defect detection static analysis