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

Федеральное государственное бюджетное 
образовательное учреждение высшего образования 
«Московский государственный технический университет имени Н.Э. Баумана 
(национальный исследовательский университет)»
Сертификация 
программного обеспечения. 
Статический анализ
программного кода
Учебно-методическое пособие

С32 
УДК 681.3 
ББК 32.973-018.2 
С32 
Издание доступно в электронном виде по адресу 
ebooks.bmstu.press/catalog/274/book1939.html 
Факультет «Информатика и системы управления» 
Кафедра «Защита информации» 
Рекомендовано Научно-методическим советом 
МГТУ им. Н.Э. Баумана в качестве учебно-методического пособия 
Авторы: 
В.М. Антонова, А.В. Астрахов, С.Е. Кондаков, Л.С. Куликов, А.В. Щербаков 
 
    Сертификация программного обеспечения. Статический 
анализ программного кода : учебно-методическое пособие / 
[В. М. Антонова и др.]. — Москва : Издательство МГТУ 
им. Н.  Э. Баумана, 2019. — 22, [2] с. : ил. 
ISBN 978-5-7038-5043-5 
Приведены основные теоретические сведения, используемые при проведении сертификационных испытаний по уровню контроля отсутствия недекларированных возможностей в программном обеспечении. Рассмотрен статический анализ исходных текстов программ. Даны пояснения к использованию 
инструментария для автоматизации данного вида анализа программного обеспечения.  
Для студентов, обучающихся по направлениям подготовки 10.05.01 
Компьютерная безопасность, 10.05.03 Информационная безопасность автоматизированных систем, 10.05.07 Противодействие техническим разведкам и 
изучающих дисциплину «Сертификационные испытания программного 
обеспечения» в МГТУ им. Н.Э. Баумана. 
УДК 681.3 
ББК 32.973-018.2 
 
Учебное издание 
Антонова Вероника Михайловна, Астрахов Алексей Витальевич, 
Кондаков Сергей Евгеньевич, Куликов Лев Сергеевич, 
Щербаков Антон Владимирович 
Сертификация программного обеспечения 
Статический анализ программного кода 
Оригинал-макет подготовлен в Издательстве МГТУ им. Н.Э. Баумана. 
В оформлении использованы шрифты Студии Артемия Лебедева. 
Подписано в печать 28.01.2019. Формат 6090/16. 
Усл. печ. л. 1,5. Тираж 100 экз. Изд. № 445-2018. Заказ 
Издательство МГТУ им. Н.Э. Баумана. 
105005, Москва, 2-я Бауманская ул., д. 5, стр. 1. press@bmstu.ru   www.baumanpress.ru 
Отпечатано в типографии МГТУ им. Н.Э. Баумана. 
105005, Москва, 2-я Бауманская ул., д. 5, стр. 1.   baumanprint@gmail.com 
 
 
 
 МГТУ им. Н.Э. Баумана, 2019 
 
 
 
 Оформление. Издательство  
ISBN 978-5-7038-5043-5                                                     МГТУ им. Н.Э. Баумана, 2019 
2 

 
Предисловие 
Учебно-методическое пособие содержит материал для освоения основных теоретических сведений о программном обеспечении, позволяющий правильно выполнить лабораторный практикум № 3 по дисциплине «Сертификационные испытания программного обеспечения».  
Цель лабораторного практикума № 3 — проверить соответствие программного обеспечения требованиям контроля отсутствия недекларированных возможностей по статическому анализу кода с помощью программных анализаторов Understand и PVSStudio.  
Задачи лабораторного практикума № 3 — ознакомление со 
средствами статического анализа исходного текста программного 
обеспечения, находящимися в открытом доступе, и анализ исходного текста программ на предмет отсутствия недекларированных 
возможностей. 
Выполнение лабораторного практикума № 3 предполагает 
формирование компетенций, предусмотренных основной профессиональной образовательной программой на основе ФГОС ВО по 
подготовке специалиста: 
ОП-4 — способность использовать языки, системы и инструментальные средства программирования в профессиональной деятельности; 
ОП-6 — способность применять методологию научных исследований в профессиональной деятельности, в том числе в работе над междисциплинарными и инновационными проектами.  
В ходе выполнения лабораторного практикума № 3 студенты 
должны усвоить понятие статического анализа программного кода и его основные особенности, изучить инструменты, используемые при проведении сертификационных испытаний.  
Для выполнения заданий практикума и понимания студентами интерфейса используемых статических анализаторов требуется начальный уровень знания английского языка. 
Приобретенные практические навыки необходимы для представления всех сущностей, классов, внешних зависимостей, свя3