Курс КТ-178C: Л.10. Стандарт требований высокого уровня

Курс КТ-178C для начинающих: Лекция 10. Стандарт требований к ПО В лекции разбирается, каким должен быть стандарт разработки требований высокого уровня (ТВУ) для ПО по КТ-178С: структура документа, правила формулирования требований, трассировка, обоснования и проверяемость. Отдельное внимание уделяется тому, как декомпозировать системные требования, описывать наблюдаемое поведение ПО, робастность, режимы работы, параметрические данные и работу с инструментом управления требованиями. Таймлайн 00:00 — Назначение стандарта ТВУ и общая структура документа. 00:35 — Базовые свойства требований высокого уровня: однозначность, полнота, источник и верифицируемость. 01:09 — Нотация требований: естественный язык, формулировки «ПО должно», избегание отрицательных требований. 02:27 — Числовые значения, единицы измерения, диапазоны, таблицы и диаграммы как вспомогательные материалы. 03:56 — Почему модели и большие схемы не заменяют атомарные текстовые требования. 06:12 — Как использовать таблицы, временные диаграммы и схемы переходов без потери трассируемости. 06:59 — Обоснования требований, в том числе для трассируемых и производных требований. 08:50 — Требования как описание внешне наблюдаемого поведения ПО, производительности, робастности и безопасности. 10:52 — Граница между требованиями высокого уровня и реализацией; диагностический интерфейс для сложных алгоритмов. 13:59 — Получение ТВУ из исходных системных требований и определение границ ответственности ПО. 15:56 — Декомпозиция...