Курс КТ-178C: Л.7. План верификации
Курс КТ-178C для начинающих: Лекция 7. План верификации Плейлист курса - https://rutube.ru/plst/1710495/ В лекции разбирается структура плана верификации ПО по КТ-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 — Процедуры верификации: рассмотрения, тестирование, анализ связанности по данным и управлению, временные характеристики и трассируемость. 33:13 — Формальная инспекция: чек-листы, входные и выходные данные, статусы и хранение результатов. 36:20 — Описание процедур вне плана: трассируемость, анализ стека, технические методики и повторная верификация. 37:44 — Повторная верификация, анализ влияния изменений и объем повторных испытаний. 39:45 — Критерии входа и выхода, запуск предварительного и формального тестирования, анализ покрытия и трассируемости. 43:44 — Дополнительные аспекты: обособление, компилятор, оптимизация, уровень A и ранее разработанное ПО. 46:03 — Поставляемые документы, регистрация дефектов и завершение обзора плана верификации.
Курс КТ-178C для начинающих: Лекция 7. План верификации Плейлист курса - https://rutube.ru/plst/1710495/ В лекции разбирается структура плана верификации ПО по КТ-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 — Процедуры верификации: рассмотрения, тестирование, анализ связанности по данным и управлению, временные характеристики и трассируемость. 33:13 — Формальная инспекция: чек-листы, входные и выходные данные, статусы и хранение результатов. 36:20 — Описание процедур вне плана: трассируемость, анализ стека, технические методики и повторная верификация. 37:44 — Повторная верификация, анализ влияния изменений и объем повторных испытаний. 39:45 — Критерии входа и выхода, запуск предварительного и формального тестирования, анализ покрытия и трассируемости. 43:44 — Дополнительные аспекты: обособление, компилятор, оптимизация, уровень A и ранее разработанное ПО. 46:03 — Поставляемые документы, регистрация дефектов и завершение обзора плана верификации.