Продукция

Дюна

Средство автоматизации сертификационных испытаний на отсутствие недекларированных возможностей

Средство автоматизации сертификационных испытаний на отсутствие недекларированных возможностей (программных закладок), а также исследования безопасности программного кода путем динамического анализа исходных текстов.

Скриншот ПО Дюна
Функциональные возможности системы Дюна
  • оснащение исходного кода проекта маркерами, фиксирующими выполнение конкретного участка исходного кода;
  • анализ данных, отправленных маркерами в ходе тестового запуска программы после сборки программы с маркерами;
  • формирование отчета, содержащего процент покрытия кода для каждой функции в частности и для всего проекта в целом;
  • визуализация покрытия кода.