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

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