Каталог
Сертификация программного обеспечения. Статический анализ программного кода : учебно-методическое пособие

Приведены основные теоретические сведения, используемые при проведении сертификационных испытаний по уровню контроля отсутствия недекларированных возможностей в программном обеспечении. Рассмотрен статический анализ исходных текстов программ. Даны пояснения к использованию инструментария для автоматизации данного вида анализа программного обеспечения.
Для студентов, обучающихся по направлениям подготовки 10.05.01 Компьютерная безопасность, 10.05.03 Информационная безопасность автоматизированных систем, 10.05.07 Противодействие техническим разведкам и изучающих дисциплину «Сертификационные испытания программного обеспечения» в МГТУ им. Н.Э. Баумана
Антонова В. М. и др. Сертификация программного обеспечения. Статический анализ программного кода : учебно-методическое пособие / В.М. Антонова. - Москва : МГТУ им. Н.Э. Баумана, 2019. - 22 с. - ISBN 978-5-7038-5043-5. - URL: http://m.ibooks.ru/bookshelf/374885/reading (дата обращения: 27.07.2025). - Текст: электронный.