Методы верификации программного обеспечения
Описание книги
В данной работе представлен обзор методов верификации программного обеспечения (ПО). Верификацией называется проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах. Рассматривается контекст использования различных методов контроля качества и, в частности, верификации в рамках жизненного цикла ПО. Представлено содержание международных стандартов ISO и IEEE, регулирующих проведение различных видов ...
В данной работе представлен обзор методов верификации программного обеспечения (ПО). Верификацией называется проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах. Рассматривается контекст использования различных методов контроля качества и, в частности, верификации в рамках жизненного цикла ПО. Представлено содержание международных стандартов ISO и IEEE, регулирующих проведение различных видов верификации при разработке программ. Предлагается классификация известных методов верификации, полученная обобщением сложившейся практики позиционирования работ в этой области. В рамках предложенной системы рассматриваются как зрелые и широко применяемые при промышленной разработке методы верификации ПО, так и недавно созданные и используемые пока только в рамках исследовательских проектов. Обзор включает методы статического анализа программ, методы проведения инспекций и экспертиз, техники анализа архитектуры ПО, методы проверки моделей и дедуктивного анализа корректности ПО, а также методы динамической верификации - тестирование и верификационный мониторинг. Рассматриваются инструменты поддержки верификации ПО. Материал подготовлен в рамках Всероссийского конкурсного отбора обзорно-аналитических статей по приоритетному направлению ''Информационно-телекоммуникационные системы'' (http://www.ict.edu.ru/itkonkurs2008/). Книга «Методы верификации программного обеспечения» автора В. В. Кулямин оценена посетителями КнигоГид, и её читательский рейтинг составил 0 из 10.
Для бесплатного просмотра предоставляются: аннотация, публикация, отзывы, а также файлы для скачивания.
В нашей онлайн библиотеке произведение Методы верификации программного обеспечения можно скачать в форматах pdf, txt
- Просмотров: 284
- Рецензий: 0
- Переводчики: не указаны
- Серия: не указана
- ISBN (EAN): не указаны
- Языки: не указаны
- Возрастное ограничение: не указано
- Год написания: не указан
0 оценок
Написано 0 рецензий