Введение в Simulink Requirements
Simulink® Requirements™ интегрирует разработку требований и управление со окружением моделирования. Вы можете написать требования в Simulink в редакторе требований, где вы можете организовывать и управлять ими. Можно также импортировать их из Microsoft® Слово или Excel® на некоторых платформах. Для получения дополнительной информации смотрите Требования к импорту из сторонних приложений.
Ссылка между требованиями и реализацией
Можно ссылаться из требований к блокам Simulink или Stateflow® объекты, которые их реализуют. Связь является двунаправленной, что означает, что вы можете найти требование из элемента модели и элемент модели из требования.
Вы можете:
Просмотрите прогресс реализации, включая выявление недостающих реализаций.
Реагируйте на изменения требований путем обновления элементов модели по мере изменения требований и уточнения требований по мере развития вашей модели. Вы можете найти измененные требования с помощью одной команды.
Подтвердите, что изменения модели соответствуют связанному требованию.
Для получения дополнительной информации см. раздел Ссылок требований».
Ссылка между требованиями и Simulink Test
Если у вас есть Simulink Test™, можно связать между требованиями и тестами, которые их проверяют. Вы можете связать требование или набор требований с тестами, которые вы создаете в Test Manager. При запуске теста в Диспетчере тестов, связанного с требованием, результаты прохождения/непрохождения можно увидеть в редакторе требований.
Поскольку вы можете отслеживать результаты тестирования в Simulink Requirements, вы можете увидеть прогресс в направлении верификации. Статус верификации также помогает вам идентифицировать отсутствующую информацию и кластеры требований, связанных с непройденными тестами. Можно использовать эту информацию, чтобы понять влияние и сложность этих требований.
Для получения дополнительной информации см. раздел «Ссылка тестов с документами требований».
Дополнительная Трассируемость требований Ссылок
С помощью Simulink Requirements можно создать несколько других типов ссылок трассируемости и установить много отношений в вашей модели и к внешним документам. Можно создать следующие типы ссылок трассируемости:
Реализует, в котором элемент проекта реализует требование
Проверяет, в котором тест проверяет требование
Связано с, в котором вы устанавливаете связь трассировки между элементом модели и требованием
Определяет, в котором требование определяется из другого требования
Уточняет, в котором одно требование уточняет другое требование
Можно связать между другими типами документов, например, HTML или DOORS® элементов, и требований и к дополнительным элементам модели, таким как объекты словаря.
Для получения дополнительной информации см. раздел Ссылок требований».
Совместное использование и повторное использование требований
Файлы требований сохраняются отдельно от файлов модели. Затем можно ссылаться на файлы требований из нескольких моделей, и каждая модель может ссылаться на несколько файлов требований. Сохранение требований в отдельных файлах позволяет вам модулировать общие требования между моделями, а также управлять требованиями, относящимися к модели. Этот подход минимизирует вероятность ошибок копирования и вставки и синхронизирует требования между моделями, которые их разделяют.
Можно сравнить файлы требований (.slreqx файлы) с помощью инструмента сравнения файлов MATLAB. Этот инструмент помогает вам идентифицировать различия в аналогичных наборах требований. Дополнительные сведения см. в разделе Сравнение наборов требований.
Можно также включать файлы требований в проекты. Когда вы открываете проект, загрузите наборы требований в Редактор требований из обозревателя проектов. Для получения дополнительной информации см. раздел Разработка на основе требований в проектах.
Другой способ обмена информацией о требованиях - это создание отчета, включающего определение требований, ссылки, детали реализации, статус верификации и так далее. Для получения дополнительной информации смотрите Сгенерировать отчеты о требованиях Используя Simulink.