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

Авторы:

В. М. Антонова, А. В. Астрахов, С. Е. Кондаков, Л. С. Куликов, А. В. Щербаков

динамический анализ программного обеспечения испытательный стенд лабораторный практикум недекларированные возможности программное обеспечение (ПО) программные закладки программный пакет PVS-Studio программный пакет Understand сертификационные испытания ПО статический анализ исходных текстов программ статический анализ программного обеспечения стенд проведения статического анализа ПО

Учебно-методическое пособие Информационная безопасность и защита информации

Бумажная

Электронная

Формат: 60x90/16
Переплёт: мягкий
Год издания: 2019 г.
Объём: 24 стр.
Объём: 1.50 п.л.
Номер издания: 1
Вес: 120 г.
ISBN: 978-5-7038-5043-5

О книге

Приведены основные теоретические сведения, используемые при проведении сертификационных испытаний по уровню контроля отсутствия недекларированных возможностей в программном обеспечении. Рассмотрен статический анализ исходных текстов программ. Даны пояснения к использованию инструментария для автоматизации данного вида анализа программного обеспечения.

Для студентов, обучающихся по направлениям подготовки 10.05.01 Компьютерная безопасность, 10.05.03 Информационная безопасность автоматизированных систем, 10.05.07 Противодействие техническим разведкам и изучающих дисциплину «Сертификационные испытания программного обеспечения» в МГТУ им. Н. Э. Баумана.

Отзывы

Оставить отзыв +