Методы верификации программного обеспечения.
Методы верификации программного обеспечения.
Авторы
Аннотация
В данной работе представлен обзор методов верификации программного обеспечения (ПО). Верификацией называется проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах. Рассматривается контекст использования различных методов контроля качества и, в частности, верификации в рамках жизненного цикла ПО. Представлено содержание международных стандартов ISO и IEEE, регулирующих проведение различных видов верификации при разработке программ. Предлагается классификация известных методов верификации, полученная
обобщением сложившейся практики позиционирования работ в этой области. В рамках предложенной системы рассматриваются как зрелые и широко применяемые при промышленной разработке методы верификации ПО, так и недавно созданные и используемые пока только в рамках исследовательских проектов. Обзор включает методы статического анализа программ, методы проведения инспекций и экспертиз, техники анализа архитектуры ПО, методы проверки моделей и дедуктивного анализа корректности ПО, а также методы динамической верификации — тестирование и верификационный мониторинг. Рассматриваются инструменты поддержки верификации ПО.
Издание
Конкурс обзорно-аналитических статей по направлению «Информационно-телекоммуникационные системы», 2008.
Научная группа
Все публикации за 2008 год
Все публикации