Ю.М. Бородянский
Верификация и сопровождение информационных систем
Курс лекций по дисциплине
Применение новых информационных технологий в бизненсе и производстве
Содержание
Содержание 2
1. Верификация информационных систем 4
1.1. Концепция тестирования 4
1.2. Основная терминология 5
1.3. Организация тестирования 6
1.3.1. Три фазы тестирования 7
1.4. Требования к идеальному критерию тестирования 8
1.5. Классы критериев 8
1.5.1. Структурные критерии (класс I). 9
1.5.2. Функциональные критерии (класс II) 10
1.5.3. Стохастические критерии (класс III) 12
1.5.4. Мутационный критерий (класс IV) 13
1.6. Оценка Покрытия Программы и Проекта 14
1.7. Типы процессов тестирования и верификации и их место в различных моделях жизненного цикла 19
1.7.1. Модульное тестирование 19
1.7.2. Интеграционное тестирование 19
1.7.3. Системное тестирование 20
1.7.4. Нагрузочное тестирование 20
1.7.5. Формальные инспекции 20
1.8. Системное тестирование 21
1.8.1. Задачи и цели системного тестирования 21
1.8.2. Виды системного тестирования 22
1.8.3. Системное тестирование, приемо-сдаточные и сертификационные испытания при разработке сертифицируемого программного обеспечения 29
1.9. Задачи и цели процесса верификации 33
1.10. Тестирование, верификация и валидация – различия в понятиях 36
1.11. Документация, создаваемая на различных этапах жизненного цикла 37
1.12. Документация, сопровождающая процесс верификации и тестирования 41
1.12.1. Технологические процессы верификации и роли в проекте, документация, создаваемая в ходе жизненного цикла проекта, ее назначение 41
1.12.3. Стратегия и планы верификации 45
1.13. Тест-требования 48
1.13.1. Технологические цепочки и роли участников проекта, использующих тест-требования. Связь тест-требований с другими типами проектной документации. 48
1.13.2. Свойства тест-требований 49
1.13.3. Тест-планы 52
1.13.4. Возможные формы подготовки тест-планов 53
1.13.5. Сценарии 54
1.14. Формальные инспекции 57
1.14.1. Задачи и цели проведения формальных инспекций 57
1.14.2. Этапы формальной инспекции и роли ее участников 59
1.14.3. Документирование процесса формальной инспекции 68
1.14.4. Жизненный цикл инспектируемого документа 72
1.14.5. Формальные инспекции программного кода 74
1.14.6. Формальные инспекции проектной документации 77
2. Сопровождение информационных систем 80
2.1. Введение 80
2.2. Организация процесса сопровождения 82
2.3. Методы сопровождения 85
2.3.1. Анализ влияния факторов 85
2.3.2. Обратное проектирование 86
2.3.3. Реинжиниринг 87
2.3.4. Рефакторинг 88
2.3.5. Унаследованные приложения 89
2.3.6. Обновление документации 90
2.4. Стандарт IEEE 1219-1992 91
2.5. Управление сопровождением 94
2.6. Качество сопровождения 98
2.6.1. Метрики сопровождения 98
2.6.2. Применение метрик сопровождения 100
2.6.3. Удобство сопровождения 102
2.7. Подведение итогов 104
1. Верификация информационных систем
Тестирование разделяют на статическое и динамическое:
Статическое тестирование выявляет формальными методами анализа без выполнения тестируемой программы неверные конструкции или неверные отношения объектов программы (ошибки формального задания) с помощью специальных инструментов контроля кода – CodeChecker.
Динамическое тестирование (собственно тестирование) осуществляет выявление ошибок только на выполняющейся программе с помощью специальных инструментов автоматизации тестирования – Testbed или Testbench.