Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 91 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 813: | Строка 813: | ||
=== Подходы к верификации программ. Статический анализ исходного кода программ. Область применения, плюсы и минусы. === | === Подходы к верификации программ. Статический анализ исходного кода программ. Область применения, плюсы и минусы. === | ||
- | |||
- | Статистический анализ -- оцениваем для каждого состояния программы потенциально возможные значения переменных. | ||
- | |||
- | ''Пример: Лекция 1, Слайды 31-32 '' | ||
- | |||
- | <u>Особенности:</u> | ||
- | * анализ исходного текста без запуска программы | ||
- | * в общем случае задача неразрешима | ||
- | |||
- | <u>Достоинства:</u> | ||
- | * высокая скорость работы | ||
- | * если ответ дан - ему можно верить | ||
- | |||
- | <u>Недостатки:</u> | ||
- | * узкая область применения: компиляторы, анализ похожести кода, анализ безопасности | ||
- | * ручная настройка при изменении применяемых свойств | ||
- | |||
=== Подходы к верификации программ. Верификация программ на моделях. Процесс верификации программы при помощи её модели. Область применения, плюсы и минусы. === | === Подходы к верификации программ. Верификация программ на моделях. Процесс верификации программы при помощи её модели. Область применения, плюсы и минусы. === | ||