Единое окно доступа к образовательным ресурсам

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

ВУЗ: Портал "Информационно-коммуникационные технологии в образовании"

Регион РФ:  Москва

Год публикации: 2008

Библиографическая ссылка:: Кулямин В.В. Методы верификации программного обеспечения / Всероссийский конкурсный отбор обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы", 2008. - 117 с.

Голосов: 4

В данной работе представлен обзор методов верификации программного обеспечения (ПО). Верификацией называется проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах. Рассматривается контекст использования различных методов контроля качества и, в частности, верификации в рамках жизненного цикла ПО. Представлено содержание международных стандартов ISO и IEEE, регулирующих проведение различных видов верификации при разработке программ. Предлагается классификация известных методов верификации, полученная обобщением сложившейся практики позиционирования работ в этой области. В рамках предложенной системы рассматриваются как зрелые и широко применяемые при промышленной разработке методы верификации ПО, так и недавно созданные и используемые пока только в рамках исследовательских проектов. Обзор включает методы статического анализа программ, методы проведения инспекций и экспертиз, техники анализа архитектуры ПО, методы проверки моделей и дедуктивного анализа корректности ПО, а также методы динамической верификации - тестирование и верификационный мониторинг. Рассматриваются инструменты поддержки верификации ПО. Материал подготовлен в рамках Всероссийского конкурсного отбора обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы" (<a href="http://www.ict.edu.ru/itkonkurs2008/">http://www.ict.edu.ru/itkonkurs2008/</a>).

Предметная область:
Тип ресурса:

Отзывы

26.01.2009 15:16:22  •  Гость

Отличная работа! Подробно, доступно Спасибо большое =)

Только зарегистрированные пользователи могут оставлять отзывы. Уже зарегистрированы?

Все отзывы на ресурс(1)
Яндекс цитирования Яндекс.Метрика