Дюна

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

Функциональные возможности системы Дюна

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

Продукция