Курс КТ-178C: Л.10. Стандарт требований высокого уровня
Курс КТ-178C для начинающих: Лекция 10. Стандарт требований к ПО Плейлист курса - https://rutube.ru/plst/1710495/ В лекции разбирается, каким должен быть стандарт разработки требований высокого уровня (ТВУ) для ПО по КТ-178С: структура документа, правила формулирования требований, трассировка, обоснования и проверяемость. Отдельное внимание уделяется тому, как декомпозировать системные требования, описывать наблюдаемое поведение ПО, робастность, режимы работы, параметрические данные и работу с инструментом управления требованиями. Таймлайн 00:00 — Назначение стандарта ТВУ и общая структура документа. 00:35 — Базовые свойства требований высокого уровня: однозначность, полнота, источник и верифицируемость. 01:09 — Нотация требований: естественный язык, формулировки «ПО должно», избегание отрицательных требований. 02:27 — Числовые значения, единицы измерения, диапазоны, таблицы и диаграммы как вспомогательные материалы. 03:56 — Почему модели и большие схемы не заменяют атомарные текстовые требования. 06:12 — Как использовать таблицы, временные диаграммы и схемы переходов без потери трассируемости. 06:59 — Обоснования требований, в том числе для трассируемых и производных требований. 08:50 — Требования как описание внешне наблюдаемого поведения ПО, производительности, робастности и безопасности. 10:52 — Граница между требованиями высокого уровня и реализацией; диагностический интерфейс для сложных алгоритмов. 13:59 — Получение ТВУ из исходных системных требований и определение границ ответственности ПО. 15:56 — Декомпозиция системных требований и связь формулировки требования с будущей проверкой. 18:17 — Карточки требований, инструменты управления требованиями и матрицы трассируемости. 19:58 — Чек-лист классов требований: функции, интерфейсы, времена реакции и ограничения. 20:59 — Режимы работы, состояния и переходы как основа для формулирования требований. 22:53 — Робастность, обнаружение отказов и диагностика на примере датчика. 24:39 — Параметрические данные, коэффициенты, идентификаторы и влияние изменений на верификацию. 27:09 — Качество формулировок, запрет расплывчатых слов, статусы и согласование требований. 30:25 — Производные требования и передача их в системные процессы. 33:22 — Описание правил работы в инструменте управления требованиями и заполнения карточек. 38:10 — Итоговый чек-лист, пример оформления и связь стандарта ТВУ со стандартом требований низкого уровня.
Курс КТ-178C для начинающих: Лекция 10. Стандарт требований к ПО Плейлист курса - https://rutube.ru/plst/1710495/ В лекции разбирается, каким должен быть стандарт разработки требований высокого уровня (ТВУ) для ПО по КТ-178С: структура документа, правила формулирования требований, трассировка, обоснования и проверяемость. Отдельное внимание уделяется тому, как декомпозировать системные требования, описывать наблюдаемое поведение ПО, робастность, режимы работы, параметрические данные и работу с инструментом управления требованиями. Таймлайн 00:00 — Назначение стандарта ТВУ и общая структура документа. 00:35 — Базовые свойства требований высокого уровня: однозначность, полнота, источник и верифицируемость. 01:09 — Нотация требований: естественный язык, формулировки «ПО должно», избегание отрицательных требований. 02:27 — Числовые значения, единицы измерения, диапазоны, таблицы и диаграммы как вспомогательные материалы. 03:56 — Почему модели и большие схемы не заменяют атомарные текстовые требования. 06:12 — Как использовать таблицы, временные диаграммы и схемы переходов без потери трассируемости. 06:59 — Обоснования требований, в том числе для трассируемых и производных требований. 08:50 — Требования как описание внешне наблюдаемого поведения ПО, производительности, робастности и безопасности. 10:52 — Граница между требованиями высокого уровня и реализацией; диагностический интерфейс для сложных алгоритмов. 13:59 — Получение ТВУ из исходных системных требований и определение границ ответственности ПО. 15:56 — Декомпозиция системных требований и связь формулировки требования с будущей проверкой. 18:17 — Карточки требований, инструменты управления требованиями и матрицы трассируемости. 19:58 — Чек-лист классов требований: функции, интерфейсы, времена реакции и ограничения. 20:59 — Режимы работы, состояния и переходы как основа для формулирования требований. 22:53 — Робастность, обнаружение отказов и диагностика на примере датчика. 24:39 — Параметрические данные, коэффициенты, идентификаторы и влияние изменений на верификацию. 27:09 — Качество формулировок, запрет расплывчатых слов, статусы и согласование требований. 30:25 — Производные требования и передача их в системные процессы. 33:22 — Описание правил работы в инструменте управления требованиями и заполнения карточек. 38:10 — Итоговый чек-лист, пример оформления и связь стандарта ТВУ со стандартом требований низкого уровня.