Персона:
Козырев, Владимир Петрович

Profile Picture
Email Address
Birth Date
Научные группы
Организационные подразделения
OrgUnit Logo
Организационная единица
Институт интеллектуальных кибернетических систем
Цель ИИКС и стратегия развития - это подготовка кадров, способных противостоять современным угрозам и вызовам, обладающих знаниями и компетенциями в области кибернетики, информационной и финансовой безопасности для решения задач разработки базового программного обеспечения, повышения защищенности критически важных информационных систем и противодействия отмыванию денег, полученных преступным путем, и финансированию терроризма.
Статус
Фамилия
Козырев
Имя
Владимир Петрович
Имя

Фильтры

11
20221
1
1
Сброс фильтров

Настройки

Результаты поиска

Теперь показываю 1 - 1 из 1
Уменьшенное изображение
Публикация
Только метаданные

Structural Coverage Analysis of Entry and Exit Points Required to Achieve the Objectives Defined in DO-178C

2022, Kozyrev, V. P., Козырев, Владимир Петрович

Abstract: The objectives of the verification process specified in RTCA DO-178C include structural coverage analysis of the source code in accordance with the SC, DC, and MC/DC criteria, as well as data and control coupling analysis of software components. Structural coverage criteria have been used for many years (DO-178B was published in 1992); however, their definition in DO-178B/C is ambiguous. In particular, for the DC criterion, the concepts of entry points, exit points, and their coverage are not defined, and the developers of structural coverage collection and analysis tools have to define them in their own ways. This paper tries to eliminate this ambiguity for C/C++ programs and proposes some solutions that need to be implemented in these tools to satisfy the DO-178C structural coverage objectives. © 2022, Pleiades Publishing, Ltd.

Просмотр