Унифицированная карточка ресурса.
(Публикации)
| Основная информация |
| Дата материала: |
29.07.2008
|
| Название: |
Методы верификации программного обеспечения
|
| Основное описание: |
В данной работе представлен обзор методов верификации программного обеспечения (ПО). Верификацией называется проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах. Рассматривается контекст использования различных методов контроля качества и, в частности, верификации в рамках жизненного цикла ПО. Представлено содержание международных стандартов ISO и IEEE, регулирующих проведение различных видов верификации при разработке программ. Предлагается классификация известных методов верификации, полученная обобщением сложившейся практики позиционирования работ в этой области. В рамках предложенной системы рассматриваются как зрелые и широко применяемые при промышленной разработке методы верификации ПО, так и недавно созданные и используемые пока только в рамках исследовательских проектов. Обзор включает методы статического анализа программ, методы проведения инспекций и экспертиз, техники анализа архитектуры ПО, методы проверки моделей и дедуктивного анализа корректности ПО, а также методы динамической верификации ? тестирование и верификационный мониторинг. Рассматриваются инструменты поддержки верификации ПО.
|
| Авторы (ФИО): |
Кулямин В.В.
|
| Контактные реквизиты автора(ов): |
kuliamin@ispras.ru
|
| Год публикации: |
2008
|
| ГРНТИ: |
50.05.13 Технология программирования. Автоматизация программирования. Программотехника
|
|
| Приоритетные направления: |
Информационно-телекоммуникационные системы;
|
| Критические технологии: |
Технологии производства программного обеспечения;
|
| Вид публикации: |
Статьи конкурса по ИТС;
|
Дополнительные материалы
|
