Андрей Карпов

31 Июл 2024

ГОСТ Р 71207–2024 - Статический анализ программного обеспечения. Терминология

Это второй вебинар, посвящённый ГОСТ Р 71207. Прежде чем более подробно говорить про статический анализ кода, стоит начать с рассмотрения основных терминов, описанных в стандарте. ГОСТ даёт очень краткие определения терминов. Это описание может тяжело восприниматься неподготовленным читателем. В вебинаре попробовали подробно раскрыть смысл этих терминов и сопроводить их поясняющими примерами. Некоторые термины, которые были рассмотрены:

• анализ потока данных;
• анализ помеченных данных;
• сигнатурный анализ;
• межпроцедурный контекстно-чувствительный анализ;
• модельный вариант (ошибки);
• критическая ошибка;
• и так далее.

Серия вебинаров по тематике ГОСТ:

• ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Общее описание и актуальность.
• ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Терминология.
• ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Критические ошибки.
• ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Технологии анализа кода.
• ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Процессы

0

0

0

0

ПОДЕЛИТЬСЯ

Присылаем лучшие статьи раз в месяц

Даю согласие на обработку своих персональных данных в соответствии с Политикой обработки персональных данных