Расчет метрик надежности программ на основе статического анализа
Авторы:
Аннотация:
Предлагается способ расчета метрик надежности ПО на основе статического анализа исходного кода программы. Метрики надежности программы формируются одновременно с обнаружением дефектов. Данный подход применим для различных языков программирования, в качестве примера рассматривается оценка надежности программ на языке С.