Курс КТ-178C: Л.7. План верификации

Курс КТ-178C для начинающих: Лекция 7. План верификации В лекции разбирается структура плана верификации ПО по КТ-178С: назначение документа, организация работ, методы верификации и связь плана с процедурами, тестированием и управлением конфигурацией. Отдельное внимание уделено практической стороне: как планировать автоматические тесты, среду верификации, формальные инспекции, повторную верификацию и критерии запуска мероприятий. Таймлайн 00:00 — Введение в план верификации ПО и его начальные разделы. 00:17 — Назначение плана: структура работ, методы и этапы верификации. 00:31 — Область применения, термины и глоссарий. 00:41 — Организация верификации, состав группы и роли участников. 02:30 — Методы верификации по КТ-178С: рассмотрение, анализ и тестирование. 02:44 — Рассмотрение, review, формальная инспекция, роли и чек-листы. 04:49 — Анализы как воспроизводимые процедуры: трассируемость, покрытие, характеристики кода и результаты верификации. 05:40 — Тестирование по требованиям, классы эквивалентности и тесты робастности. 09:24 — Интеграционные тесты, автоматизация, формальное и неформальное тестирование. 12:42 — Среда верификации: стенды, целевой вычислитель, хостовые проверки и тестовый фреймворк. 20:33 — Информационная среда, испытательные стенды и идентификация в указателе среды жизненного цикла ПО. 21:41 — Тестовый раннер, оценка результатов тестов и риски квалификации инструмента. 27:03 — Матрица целей КТ-178С и соответствие целей процедурам верификации. 27:41...