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

Содержание 
 
Введение ................................................................................................................................ 4
 
1. Основные понятия ............................................................................................................ 6
 
1.1. Верификация и валидация ........................................................................................ 7
 
1.2. Характеристики качества программного обеспечения .......................................... 9
 
2. Место верификации в жизненном цикле ПО .............................................................. 15
 
2.1. Задачи верификации в рамках жизненного цикла ПО ........................................ 16
 
2.2. Верификация и другие процессы разработки и сопровождения ПО ................. 17
 
2.3. Верификация различных артефактов жизненного цикла ПО ............................. 18
 
2.4. Международные стандарты, касающиеся верификации ПО .............................. 23
 
3. Методы верификации программного обеспечения ..................................................... 29
 
3.1. Экспертиза ............................................................................................................... 34
 
3.1.1. Оценка ПО по Фагану ...................................................................................... 35
 
3.1.2. Другие виды общих экспертиз ........................................................................ 38
 
3.1.3. Специализированные методы экспертиз ....................................................... 41
 
3.1.4. Методы анализа архитектуры ПО .................................................................. 43
 
3.2. Статический анализ ................................................................................................. 46
 
3.3. Формальные методы верификации........................................................................ 47
 
3.3.1. Логико-алгебраические модели ...................................................................... 47
 
3.3.2. Исполнимые модели ........................................................................................ 51
 
3.3.3. Модели промежуточного типа ........................................................................ 57
 
3.3.4. Классификация формальных методов ............................................................ 59
 
3.3.5. Методы и инструменты дедуктивного анализа ............................................. 60
 
3.3.6. Методы и инструменты проверки моделей ................................................... 63
 
3.3.7. Методы и инструменты проверки согласованности ..................................... 65
 
3.4. Динамические методы верификации ..................................................................... 66
 
3.4.1. Мониторинг ...................................................................................................... 69
 
3.4.2. Тестирование .................................................................................................... 72
 
3.4.3. Виды тестирования .......................................................................................... 75
 
3.4.4. Критерии полноты тестирования .................................................................... 78
 
3.4.5. Техники построения тестов ............................................................................. 80
 
3.4.6. Инструменты автоматизации тестирования .................................................. 86
 
3.5. Синтетические методы ........................................................................................... 88
 
3.5.1. Тестирование на основе моделей.................................................................... 88
 
3.5.2. Мониторинг формальных свойств ПО ........................................................... 91
 
3.5.3. Статический анализ формальных свойств ..................................................... 92
 
3.5.4. Синтетические методы генерации структурных тестов ............................... 94
 
Заключение ......................................................................................................................... 96
 
Литература .......................................................................................................................... 97
 

---

4