Подробное описание документа

Сертификация программного обеспечения. Статический анализ программного кода : учебно-методическое пособие / Антонова В. М., Астрахов А. В., Кондаков С. Е. [и др.] ; МГТУ им. Н. Э. Баумана. (Нац. исслед. ун-т). - М. : Изд-во МГТУ им. Н. Э. Баумана, 2019. - 22 с. - Библиогр. в конце брош. - ISBN 978-5-7038-5043-5.

Читать онлайн

Издательство МГТУ им. Н.Э. Баумана

https://press.bmstu.ru/catalog/item/5774/

Айбукс

Войти и читать

https://ibooks.ru/products/374885

Лань

Войти и читать

https://e.lanbook.com/book/172830

Аннотация

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

УДК
004.415.5 Гарантии качества программного обеспечения

Предметные рубрики

Программное обеспечение ЭВМ прикладное - Сертификация

Авторы МГТУ

Антонова Вероника Михайловна

Астрахов Алексей Витальевич

Кондаков Сергей Евгеньевич

Куликов Лев Сергеевич

Общее кол-во в фондах
20 экз.

Заказать на абонемент

Заказать в читальный зал

Вы можете получить данный документ в одном из следующих отделов

Абонемент третьего курса, УЛК, ауд. 311л
Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
Преподавательский абонемент ауд.313, ГУК, ауд. 313
Читальный зал ауд.305л, УЛК, ауд. 305л
Читальный зал ауд.313, ГУК, ауд. 313
Читальный зал ауд.345, ГУК, ауд. 345

Подробное описание документа

Похожие издания