Автор: А. В. Щербаков
Сертификация программного обеспечения. Статический анализ программного кода
А. В. Щербаков
Приведены основные теоретические сведения, используемые при проведении сертификационных испытаний по уровню контроля отсутствия недекларированных возможностей в программном обеспечении. Рассмотрен статический анализ исходных текстов программ....
Проведение сертификационных испытаний межсетевых экранов
А. В. Щербаков
Представлены основные теоретические сведения и практические рекомендации для выполнения лабораторной работы № 1 по сертификационным испытаниям межсетевых экранов дисциплины «Сертификационные испытания программного обеспечения». Приведены...
Динамический анализ программного обеспечения методами фаззинга и символьного исполнения
А. В. Щербаков
Представлены материалы для исследования процесса сертификации программного обеспечения. Приведены основные теоретические сведения, необходимые для проведения динамического анализа кода, а также описание процесса использования программного...
