Верификация ПО | Обзор методов верификации | Тестирование ПО

Методы верификации программного обеспечения

Верификация ПО. Тестирование ПО. Мониторинг.

В данной работе представлен обзор методов верификации программного обеспечения (ПО). Верификацией называется проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах.

Рассматривается контекст использования различных методов контроля качества и, в частности, верификации в рамках жизненного цикла ПО. Представлено содержание международных стандартов ISO и IEEE, регулирующих проведение различных видов верификации при разработке программ.

Предлагается классификация известных методов верификации, полученная обобщением сложившейся практики позиционирования работ в этой области.

В рамках предложенной системы рассматриваются как зрелые и широко применяемые при промышленной разработке методы верификации ПО, так и недавно созданные и используемые пока только в рамках исследовательских проектов.

Обзор включает методы статического анализа программ, методы проведения инспекций и экспертиз, техники анализа архитектуры ПО, методы проверки моделей и дедуктивного анализа корректности ПО, а также методы динамической верификации — тестирование и верификационный мониторинг. Рассматриваются инструменты поддержки верификации ПО.

МЕТОДЫ-ВЕРИФИКАЦИИ-ПРОГРАММНОГО-ОБЕСПЕЧЕНИЯ

Загрузить документ