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