Неформальные методы подтверждения и верификации
-
Неформальные методы валидации и верификации
- Неформальные методы используются в моделировании и часто основаны на мнениях экспертов.
- Численные результаты не являются приоритетными, но не игнорируются.
- Выбор метода зависит от скорости тестирования и доступности лучших вариантов.
-
Инспекционная проверка
- Сравнение концептуальной модели с исполняемой для выявления несоответствий.
- Инспекционная проверка может выявить упущения и недостатки.
- Члены инспекционной группы могут быть как частью, так и вне группы моделирования.
- Гибкость и возможность разовых или структурированных проверок.
-
Проверка подлинности лица
- Используется для проверки соответствия модели реальным ситуациям.
- Пользователи, знакомые с ситуацией, могут помочь в обнаружении ошибок.
- Эффективна для виртуального моделирования и в сжатые сроки.
-
Аудит
- Проверка соответствия модели установленным руководящим принципам.
- Отслеживание ошибок и внесение исправлений через контрольный журнал.
- Примеры аудита включают аудиторскую проверку граждан.
-
Пошаговое руководство
- Автор модели или документа проверяет их на наличие ошибок перед официальной встречей.
- Участники встречи задают вопросы и анализируют модель.
- Фасилитатор фиксирует вопросы и замечания для последующего анализа.
-
Обзор
- Проверка всего процесса моделирования, включая руководящие принципы и спецификации.
- Автор модели представляет документы и отвечает на вопросы.
- Ключевые моменты выделяются с помощью V&V Agent.
-
Камеральная проверка
- Автор модели тщательно проверяет соответствие модели поставленным задачам.
- Автор может использовать помощь других, но основная ответственность лежит на нем.
- Примеры камеральной проверки включают отладку программного обеспечения.
-
Тест Тьюринга
- Неформальный метод проверки, основанный на сравнении поведения модели с поведением человека.
- Тест Тьюринга фокусируется на неотличимости поведения модели от поведения человека.