АвторыАнтонова В.М., Астрахов А.В., Кондаков С.Е., Куликов Л.С., Щербаков А.В.
Сертификация программного обеспечения. Статический анализ программного кода
ИздательствоМГТУ им. Н.Э. Баумана
Тип изданияучебно-методическое пособие
Год издания2019
Скопировать биб. запись
Для каталогаАнтонова, В. М. Сертификация программного обеспечения. Статический анализ программного кода : учебно-методическое пособие / В. М. Антонова, А. В. Астрахов, С. Е. Кондаков, Л. С. Куликов, А. В. Щербаков. - Москва : Издательство МГТУ им. Н. Э. Баумана, 2019. - 22 с. - ISBN 978-5-7038-5043-5. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/ISBN9785703850435.html (дата обращения: 28.12.2024). - Режим доступа : по подписке.
АннотацияПриведены основные теоретические сведения, используемые при проведении сертификационных испытаний по уровню контроля отсутствия недекларированных возможностей в программном обеспечении. Рассмотрен статический анализ исходных текстов программ. Даны пояснения к использованию инструментария для автоматизации данного вида анализа программного обеспечения. <br>Для студентов, обучающихся по направлениям подготовки 10.05.01 Компьютерная безопасность, 10.05.03 Информационная безопасность автоматизированных систем, 10.05.07 Противодействие техническим разведкам и изучающих дисциплину "Сертификационные испытания программного обеспечения" в МГТУ им. Н.Э. Баумана.