Инструменты LDRA для верификации ПО: Стандарты кодирования и метрики

Второе видео плейлиста посвящено первой стадии верификации - статическому анализу кода. Разъясняются вопросы применения метрик качества кода и стандартов кодирования