Верификация и валидация моделей Paбoтy выпoлнилa: cтyдeнткa 1 кypca, д/o Ф. И. O. : Иpинa Бaшкoвa Caнкт-Пeтepбypг, 2015
Оглавление 1. Верификация модели 2. Валидация моделей 3. Два подхода к валидации программного обеспечения 4. Атрибуты. Цель атрибутов 5. Характеристика множеств атрибутов переместимости
Верификация модели - Это проверка её истинности, адекватности. Дословный перевод с английского: verification – это 1) контроль, проверка; Sync: check, examination; 2) удовлетворение, подтверждение (предсказание, сомнение); 3) засвидетельствование. В отношении к дескриптивным моделям верификация модели сводится к сопоставлению результатов расчетов по модели с соответствующим данными действительности.
Валидация моделей – проверка соответствия данных, получаемых в процессе машинной имитации, реальному ходу явления, для описания которых создана модель. Она производится тогда, когда экспериментатор убедился на предшествующей стадии (верификации) в правильности структуры (логики) модели, и состоит в том, что выходные данные после расчета на компьютере сопоставляются с имеющимся статистическими сведениями о моделируемой системе.
2 ПОДХОДА К ВАЛИДАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ Дедуктивный I) Модельный Дедуктивный – представлен такими направлениями исследований, как автоматическое доказательство теорем, использование мультимножеств и графов, а также разнообразных специализированных алгебр. II) Модельный – подход, поддерживающий не только полную, но и частную верификацию. Его последователи стремятся строить модель системы, которую можно рассматривать как машину или автомат.
Атрибуты. Цель Атрибутов Набор атрибутов характеризующий, соответствие функциональных возможностей ПО набору требуемой пользователем функциональности называют функциональностью СООТВЕТСТВИЕ ТОЧНОСТЬ СОВМЕСТИМОСТЬ Соответствует ли Насколько точны Может ли данное реализованная результаты приложение общаться с функция данному работы соответствующими стандарту? приложения? программными продуктами от других производителей? ПРИГОДНОСТЬ Выполняет ли БЕЗОПАСНОСТЬ приложение пред ЦЕЛЬ назначенную ему Не происходит ли АТРИБУТОВ задачу? неавторизованной утечки информации?
Характеристика множеств атрибутов переместимости: ПРИСПОСОБЛЯЕМОСТЬ УСТАНАВЛИВАЕМОСТЬ Может ли приложение изменятся в соответствии с изменениями окружения? Взаимодействующие недетерминированные последовательные процессы дают хороший результат, в том числе и в модельном подходе. Может ли приложение устанавливаться на разные платформы или в разные конфигурации? Как правило, явно задается в спецификации и явно реализуется и в проверке не нуждается. СОГЛАСОВАННОСТЬ Какие стандарты были использованы в приложении? Не нуждается в проверке, однако само соответствие стандартам проверять можно и нужно. ЗАМЕНЯЕМОСТЬ Может ли приложение быть использовано так же, как его эквивалент от другого производителя? Зависит ли от списка опций соответствующих приложений, которые могли бы быть реализованы? Это относится к фазе формулирования требований, поэтому в верификации не участвует.
Спасибо за внимание!
Скачать презентацию Верификация и валидация моделей Paбoтy выпoлнилa cтyдeнткa 1
Башкова.pptx