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

Сертификация программного обеспечения. Статический анализ программного кода
В.М. Антонова, А.В. Астрахов,
С.Е. Кондаков, Л.С. Куликов,
А.В. Щербаков
  • Год:
    2019
  • Тип издания:
    Учебно-методическое пособие
  • Объем:
    24 стр. / 1.5 п.л
  • Формат:
    60x90/16
  • ISBN:
    978-5-7038-5043-5
  • Читать Online

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

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

СОДЕРЖАНИЕ

Предисловие
1. Общие теоретические сведения
2. Испытательный стенд
3. Используемый инструментарий
Программный пакет Understand
Программный пакет PVS-Studio
4. Порядок выполнения лабораторного практикума № 3
5. Задание и порядок его выполнения
6. Требования к отчету
7. Требования к защите лабораторного практикума № 3
Вопросы и задания для самостоятельной работы
Литература

Авторы работы: Антонова Вероника Михайловна, Астрахов Алексей Витальевич, Кондаков Сергей Евгеньевич, Куликов Лев Сергеевич, Щербаков Антон Владимирович