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

В этом видео рассмотрена следующая стадия верификации - доказательство функциональной корректности модулей ПО а также сбор покрытия модулей тестами