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

Дата
2022
Авторы
Kozyrev, V. P.
Journal Title
Journal ISSN
Volume Title
Издатель
Научные группы
Организационные подразделения
OrgUnit Logo
Организационная единица
Институт интеллектуальных кибернетических систем
Цель ИИКС и стратегия развития - это подготовка кадров, способных противостоять современным угрозам и вызовам, обладающих знаниями и компетенциями в области кибернетики, информационной и финансовой безопасности для решения задач разработки базового программного обеспечения, повышения защищенности критически важных информационных систем и противодействия отмыванию денег, полученных преступным путем, и финансированию терроризма.
Выпуск журнала
Аннотация
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.
Описание
Ключевые слова
Цитирование
Kozyrev, V. P. Structural Coverage Analysis of Entry and Exit Points Required to Achieve the Objectives Defined in DO-178C / Kozyrev, V.P. // Programming and Computer Software. - 2022. - 48. - № 4. - P. 256-264. - 10.1134/S036176882204003X
URI
https://www.doi.org/10.1134/S036176882204003X
 https://www.scopus.com/record/display.uri?eid=2-s2.0-85134435072&origin=resultslist
 http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=Alerting&SrcApp=Alerting&DestApp=WOS_CPL&DestLinkType=FullRecord&UT=WOS:000826501100003
 https://openrepository.mephi.ru/handle/123456789/27300
Коллекции
Публикации