Вы искали: лабораторный практикум

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

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

Программное обеспечение практикума по курсу «Электроника»

Дано описание программного обеспечения, используемого при выполнении лабораторного практикума по курсу «Электроника». Рассмотрены программные средства MathCAD, MicroCap, Multisim и LabVIEW, позволяющие автоматизировать проведение экспериментов и обработку полученных данных, а также выполнять моделирование и схемотехническую отладку решений. Для студентов, обучающихся по направлению подготовки «Радиоэлектронные системы и комплексы» в МГТУ им. Н.Э. Баумана. Может быть полезно при курсовом и дипломном проектировании.

1