Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 93 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 793: | Строка 793: | ||
* Ошибка — ошибочное вычисление системы. | * Ошибка — ошибочное вычисление системы. | ||
* Полнота в терминах возможных вычислений — хороший критерий. | * Полнота в терминах возможных вычислений — хороший критерий. | ||
+ | |||
+ | '''Валидация''' - исследование и обоснование того, что спецификация ПО и само ПО через реализованную в нём функциональность удовлетворяет ребованиям пользователей. | ||
+ | |||
+ | '''Верификация''' - исследование и обоснование того, что программа соответствует своей спецификации. | ||
+ | |||
+ | Верификация в общем случае алгоритмически неразрешима. | ||
+ | |||
+ | <u>Методы верификации:</u> | ||
+ | * "Полное" тестирование (слайды 14-22) | ||
+ | * Имитационное моделирование | ||
+ | * Доказательство теорем (27-29) | ||
+ | * Статический анализ (30-33) | ||
+ | * Верификация на моделях (34-38) | ||
=== Подходы к верификации программ. Доказательство теорем. Область применения, плюсы и минусы. === | === Подходы к верификации программ. Доказательство теорем. Область применения, плюсы и минусы. === |