Электронная библиотечная система КОНСУЛЬТАНТ СТУДЕНТА
STUDENT'S CONSULTANT
Все издания
Accessibility

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

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