Логотип Информационно-коммуникационные технологии в образовании
  • Методы верификации программного обеспечения
  • Методы верификации программного обеспечения
    Кулямин В.В.
    2008
    Кулямин В.В. Методы верификации программного обеспечения / Всероссийский конкурсный отбор обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы", 2008. - 117 с.
    Статья, обзор
    4. Программирование » 4.6. Технологии разработки программных систем
     
    Аннотация
    В данной работе представлен обзор методов верификации программного обеспечения (ПО). Верификацией называется проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах. Рассматривается контекст использования различных методов контроля качества и, в частности, верификации в рамках жизненного цикла ПО. Представлено содержание международных стандартов ISO и IEEE, регулирующих проведение различных видов верификации при разработке программ. Предлагается классификация известных методов верификации, полученная обобщением сложившейся практики позиционирования работ в этой области. В рамках предложенной системы рассматриваются как зрелые и широко применяемые при промышленной разработке методы верификации ПО, так и недавно созданные и используемые пока только в рамках исследовательских проектов. Обзор включает методы статического анализа программ, методы проведения инспекций и экспертиз, техники анализа архитектуры ПО, методы проверки моделей и дедуктивного анализа корректности ПО, а также методы динамической верификации — тестирование и верификационный мониторинг. Рассматриваются инструменты поддержки верификации ПО.
    Материал подготовлен в рамках Всероссийского конкурсного отбора обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы" (http://www.ict.edu.ru/itkonkurs2008/).
    Файл публикации (формат Adobe PDF, размер 1086 Кб) »
    © 2003-2014 Государственный научно-исследовательский институт информационных технологий и телекоммуникаций
    (ФГАУ ГНИИ ИТТ "Информика")
    Rambler's Top100