Получение метрик исходного кода при помощи продуктов Polyspace

Метрики исходного кода - важный элемент оценки качества ПО в целом. В этом видео на примере Polyspace Code Prover демонстрируется создание и управление метриками исходного кода