Верификационное ПО автоматизации анализа покрытия связей по данным. Версия 2021 г. (COVERest-DCC Версия 2021 г.)
ОСРВ JetOS структурное покрытие
Автоматизация анализа покрытия ПО, выполняющегося на целевом вычислителе, в части покрытия связей по данным. ПО позволяет собирать и анализировать структурное покрытие в средах Linux и Windows.
Выполнение мероприятий по верификации встроенного программного обеспечения (ПО), обеспечивающих достижение целей процесса верификации, определенных в КТ-178C, в частности, при разработке отечественной ОСРВ JetOS
Николай
Сельвесюк
Иванович
Заместитель генерального директора
Кандидат технических наук
Доцент
-
-
РОССИЯ
Сергей
Хохлов
Владимирович
Генеральный директор
РОССИЯ
50.41.15
Операционные системы
50.41.17
Системное программное обеспечение
02.02.AC
AUTOMATION & CONTROL SYSTEMS
02.02.ES
COMPUTER SCIENCE, HARDWARE & ARCHITECTURE
Юрий
Солоделов
Алексеевич
РОССИЯ
МИНПРОМТОРГ РОССИИ
МИНИСТЕРСТВО ПРОМЫШЛЕННОСТИ И ТОРГОВЛИ РОССИЙСКОЙ ФЕДЕРАЦИИ
1047796323123
Организация
Министерство промышленности и торговли Российской Федерации
Федеральные государственные казенные учреждения
ФГУП "ГосHИИАС"
Федеральное государственное унитарное предприятие "Государственный научно-исследовательский институт авиационных систем"
1027700227720
Организация
Министерство промышленности и торговли Российской Федерации
Унитарные предприятия, основанные на праве хозяйственного ведения