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

«Инструмент автоматизации анализа структурного покрытия кода COVERest» включено в реестр российского ПО: реестровая запись № 10881, решение Экспертного совета (протокол № 639пр от 07.06.2021). Правообладатель — Федеральное автономное учреждение "Государственный научно-исследовательский институт авиационных систем" (ранее — ФГУП "ГОСНИИАС"). Заявление № 242278 от 29.04.2021.

Статус: Включено в реестр · Этап: В реестре · ПО

Номер заявления: № 242278, зарегистрировано 29.04.2021
Правообладатель: Федеральное автономное учреждение "Государственный научно-исследовательский институт авиационных систем"
ранее — ФГУП "ГОСНИИАС"; правообладатель изменён решением Экспертного совета, протокол № 602пр от 18.09.2023; в карточке заявления на сайте реестра остался прежний
Реестровая запись: Реестровая запись №10881 от 23.06.2021
Классы ПО: 04.04 Среды разработки, тестирования и отладки

О продукте

Инструмент 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)

Свидетельство Роспатента: № 2020667074 от 21.12.2020
Код ОКПД 2: 58.29.14 Средства разработки инструментальные и программное обеспечение языков программирования на электронном носителе
ИНН прежнего правообладателя: 7714037739
Документация: gosniias.ru
Стоимость и лицензия: gosniias.ru

По карточке заявления на сайте реестра, обновлена там 23.06.2021.

Решения Экспертного совета

Внести изменения в сведения — протокол № 602пр от 18.09.2023, голосование: за 20, против 0, воздержались 0; поручение оператору от 23.09.2023
- Новый правообладатель: Федеральное автономное учреждение "Государственный научно-исследовательский институт авиационных систем"
- Основание для включения сведений в реестр: Приказ Минцифры России от 22.06.2021 № 634
Включить в реестр — протокол № 639пр от 07.06.2021, голосование: за 17, против 0, воздержались 0
Включить в реестр — протокол № 639пр от 07.06.2021, голосование: за 17, против 0, воздержались 0

История заявления

07.06.2021 — решение Экспертного совета: Включить в реестр (протокол № 639пр)
23.06.2021 — реестровая запись № 10881
07.06.2021 — решение Экспертного совета: Включить в реестр (протокол № 639пр)
18.09.2023 — решение Экспертного совета: Внести изменения в сведения (протокол № 602пр)
29.04.2021 — появилось в списке со статусом «Включено в реестр»

Другие продукты правообладателя

Унифицированная программная платформа для разработки конечно ориентированных программных комплексов автоматического распознавания объектов на основе нейросетевых подходов (Платформа) — Включено в реестр

Все заявления — Федеральное автономное учреждение "Государственный научно-исследовательский институт авиационных систем"