Автоматическая генерация модульных тестов для языков Си/Си++

Проект: исполнение гранта/договораисполнение гранта/договора в целом

Сведения о проекте

Короткий заголовокГенератор модульных тестов
АкронимDog_2020
СтатусАктивный
Действительная дата начала/окончания7/08/206/08/21

Ключевые слова

  • статический анализ кода
  • верификация
  • синтез программ
  • анализ программ
  • модульное тестирование
  • автоматизация тестирования
  • безопасность программ