Институт системного программирования им. В.П. Иванникова РАН


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

Авторы

В. В. Кулямин.

Аннотация

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

Полный текст статьи в формате pdf

Издание

Конкурс обзорно-аналитических статей по направлению «Информационно-телекоммуникационные системы», 2008.

Научная группа

Технологии программирования

Все публикации за 2008 год Все публикации