Презентация без названия

Multiple Choice

Что такое статический анализ исходного кода?

• Анализ кода на наличие ошибок

• Анализ кода на производительность

• Анализ кода на безопасность

• Анализ кода на читаемость

Multiple Choice

Что такое статический анализ программы?

• Анализ программы без её запуска

• Анализ программы с её запуском

• Анализ программы с использованием тестирования

• Анализ программы с использованием документации

Multiple Choice

С помощью циклов можно сократить код?

• Да

• Нет

Multiple Choice

Каковы основные подходы к статическому поиску ошибок?

• Неформальный подход

• Формальный подход

• Анализ на уровне синтаксиса

• Перекрёстная проверка кода

Multiple Choice

Каковы основные преимущества анализа на уровне синтаксиса?

• Автоматизация ручной проверки кода

• Сложность анализа

• Поиск по неограниченным шаблонам

• Подходит для проверки свойств на длинных путях программы

Fill in the Blank

Какой стандарт даёт наибольшую гарантию корректности программы?

<

>

<

/

>

Open Ended

Каковы основные требования к семафорам и памяти в контексте безопасности ресурсов?

Drag and Drop

Каковы ограничения формального подхода в автоматической проверке программ?

Placeholder

Drag these tiles and drop them in the correct blank above

Невозможность реализации универсальной проверки св

Обнаружение всех ошибок

Отсутствие ложных срабатываний

Проблема остановки

Multiple Choice

Что такое анализ состояния программы?

• Анализ надмножества возможных состояний

• Гарантирует полноту

• Тривиальная реализация

• Анализ подмножества состояний

Multiple Choice

Что такое «Ошибочные состояния» в анализе состояния программы?

• Состояния, которые не могут быть достигнуты

• Состояния, которые могут быть достигнуты

• Состояния, которые являются точными

• Состояния, которые являются полными

Open Ended

Что можно сказать про циклы?

Multiple Choice

Какой размер выделенной памяти для переменной buf, если flag равно true?

• 10 байт

• 15 байт

• 20 байт

• 5 байт

Multiple Choice

Что обозначает A ∩ B в контексте оценки качества анализа?

• Ложные срабатывания

• Не найденные ошибки

• Найденные истинные ошибки

• Состояние без ошибок

Multiple Choice

Что такое модели программы?

• Структуры данных

• Алгоритмы

• Программные решения

• Методы программирования

Multiple Choice

Каковы основные модели программ, описывающие потоки управления и данных?

• граф потока управления

• граф вызовов

• граф зависимостей по данным

• граф ошибок

Multiple Choice

Каков результат выполнения следующего кода: int n = 10; int f = 1; while (n > 0) { f = f * n; n = n - 1; } res = f;

• 10

• 1

• 3628800

• 0

Multiple Choice

Какой тип графа представлен на изображении?

• Ориентированный

• Ненаправленный

• Циклический

• Дерево

Multiple Choice

Что такое граф зависимостей и как он используется в операторах?

• Граф, показывающий зависимости между переменными

• Граф, показывающий зависимости между операторами

• Граф, показывающий зависимости между функциями

• Граф, показывающий зависимости между данными

Multiple Choice

Какое значение будет у переменной res после выполнения данного кода?

• 10

• 1

• 3628800

• 0

Multiple Choice

Какой тип данных представлен на графе указателей?

• Целое число

• Строка

• Указатель

• Массив

Multiple Choice

Какой анализ потока управления обеспечивает определение последовательности анализируемых конструкций?

• Внутрипроцедурный анализ потока управления (ГПУ)

• Межпроцедурный анализ потока управления (ГВ)

• Анализ потока данных (ГЗ)

• Анализ потоков данных

Multiple Choice

Какой будет значение переменной c, если a = 3 и b = 2?

• 1

• 2

• 0

• 3

Multiple Choice

Какой результат будет возвращен функцией f при передаче ей значения a?

• a + 1

• a * a

• a

• x * x

Multiple Choice

Что такое алиасы в программировании?

• Набор различных выражений, обозначающих одну переменную

• Способ объединения данных

• Метод анализа потоков данных

• Функция, вызываемая по указателю

Multiple Choice

Что такое чувствительность к пути в программировании?

• Способность анализировать различные пути

• Способность игнорировать ошибки

• Способность оптимизировать код

• Способность увеличивать скорость выполнения

Multiple Choice

Что такое чувствительность к потоку?

• Способность анализировать порядок следования операторов

• Способность к выполнению операторов

• Способность к изменению данных

• Способность к хранению данных

Poll

Насколько уверенно вы себя чувствуете по этому вопросу сейчас?

• Очень уверенно
• Довольно уверенно
• Не уверен

Draw

нарисуйте свое настроение