НОВОСТИ МЕРОПРИЯТИЯ КОНТАКТЫ

Продукты и услуги

 

COVERest: инструмент автоматизации анализа структурного покрытия кода


 

Инструмент COVERest предназначен для сбора информации о структурном покрытии исходного кода тестами и выдачи отчетов о структурном покрытии, которые могут использоваться при анализе его полноты в соответствии с требованиями КТ-178C / DO-178C. С помощью инструмента можно собирать покрытие структурных элементов по критериям MC/DC, DC и SC, а также покрытие связей по управлению и данным.

Для сбора информации о покрытии исходного кода ПО фиксируется прохождение потока управления программы через контрольные точки, определяемые на этапе синтаксического анализа программы. Выбор контрольных точек производится в соответствии с типом собираемого покрытия - структурных элементов или связей, и критерием полноты покрытия, который при разработке сертифицируемого авиационного ПО определяется уровнем критичности. Стандарты КТ-178C / DO-178C в для уровней критичности A, B и C определяют критерии MC/DC, DC и SC соответственно. Уровень критичности С определяет необходимость сбора покрытия по критерию SC, уровень B - по критериям SC и DC, уровень A - по критериям SC и MC/DC. Для обеспечения сбора структурного покрытия инструмент COVERest выполняет инструментирование программы, суть которого состоит в модификации ее исходного кода таким образом, чтобы обеспечить регистрацию прохождения потока управления через выбранные контрольные точки (трассировку программы), не изменяя основной функциональности.

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

Основные особенности:

  • Поддержка языка C (в том числе версий C99 и C11, а также наиболее распространенных встроенных функций компиляторов GCC и LLVM).

  • Возможность адаптации к тестовой среде и целевому вычислителю заказчика.

  • Поддержка трех уровней структурного покрытия, что позволяет применять инструмент для ПО, соответствующего уровням гарантии проектирования A, B и C (по КТ-178С):
    - MC/DC (Modified condition/decision coverage, модифицированное покрытие условий и решений) – для уровня A;
    - DC (Decision coverage, покрытие решений) – для уровня B;
    - SC (Statements coverage, покрытие операторов) – для уровня C.

  • Инструмент разрабатывается в соответствии с Р-330 по уровню TQL-5 и сопровождается квалификационным пакетом.

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

  • Для инструмента также разработаны компоненты, автоматизирующие анализ связности исходного кода по управлению (COVERest_CCC – control coupling coverage) и по данным (COVERest_DCC – data coupling coverage).

Документация:

Приобретение:

Если вы заинтересованы в приобретении программы, пожалуйста, направьте запрос коммерческого предложения на адрес электронной почты COVERest@gosniias.ru.
 

Техническая поддержка пользователей:

ГосНИИАС предоставляет пользователям консультации по программному продукту и техническую поддержку. Условия технической поддержки содержатся в лицензионном соглашении.

 

 

Институт

Новости

Мероприятия

Научный центр

Виды деятельности

Международная деятельность

Издания

Контакты

Тел. +7 (499) 157-70-47
125167, г. Москва, ул. Викторенко, 7

© GosNIIAS - 2020. Изображения на сайте взяты из открытых источников.