Читать онлайн «Верификация программного обеспечения»

МОСКОВСКИЙ ИНЖЕНЕРНО-ФИЗИЧЕСКИЙ ИНСТИТУТ (ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ) С. В. Синицын, Н. Ю. Налютин Верификация программного обеспечения Курс лекций МОСКВА 2006 Цели курса... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 5 Для кого предназначен этот курс? ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 5 Необходимые предварительные знания ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 5 Благодарности... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 5 ТЕМА 1. Введение. Место верификации среди процессов разработки программного обеспечения (лекция 1) ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 6 1. 1. Жизненный цикл разработки программного обеспечения... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 6 1. 2. Модели жизненного цикла ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 7 1. 2. 1. Каскадный жизненный цикл ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 7 1. 2. 2. V-образный жизненный цикл... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 8 1. 2. 3. Спиральный жизненный цикл ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 8 1. 2. 4. Экстремальное программирование... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 9 1. 2. 5. Сравнение различных типов жизненного цикла и вспомогательные процессы ... 9 1. 3. Современные технологии разработки программного обеспечения: ... ... ... ... ... ... ... ... ... 11 1. 3. 1. Microsoft Solutions Framework... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 11 1. 3. 2. Rational Unified Process ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 14 1. 3. 3. eXtreme Programming ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 15 1. 3. 4. Сравнение технологий MSF, RUP и XP ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 15 1. 4. Ролевой состав коллектива разработчиков, взаимодействие между ролями в различных технологических процессах ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 16 1. 5. Задачи и цели процесса верификации ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 18 1. 6. Тестирование, верификация и валидация – различия в понятиях ... ... ... ... ... ... ... ... ... ... . 19 1. 7. Документация, создаваемая на различных этапах жизненного цикла... ... ... ... ... ... ... ... 20 1. 8. Типы процессов тестирования и верификации и их место в различных моделях жизненного цикла... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 22 1. 8. 1.