Сертификация программного обеспечения. Статический анализ программного кода
А. В. Щербаков
Приведены основные теоретические сведения, используемые при проведении сертификационных испытаний по уровню контроля отсутствия недекларированных возможностей в программном обеспечении. Рассмотрен статический анализ исходных текстов программ. Даны пояснения к использованию инструментария для автоматизации данного вида анализа программного обеспечения. Для студентов, обучающихся по направлениям подготовки 10.05.01 Компьютерная безопасность, 10.05.03 Информационная безопасность автоматизированных систем, 10.05.07 Противодействие техническим разведкам и изучающих дисциплину «Сертификационные испытания программного обеспечения» в МГТУ им. Н. Э. Баумана.
- Категория: программирование
- Правообладатель: МГТУ им. Н.Э. Баумана (национальный исследовательский университет)
- Год написания: 2019
- Возрастное ограничение: 0+
- ISBN: 978-5-7038-5043-5
- Легальная стоимость: 144.00 руб.
Читать книгу «Сертификация программного обеспечения. Статический анализ программного кода» онлайн:
Комментарии ():
Вам также может понравиться:
