exponenta event banner

Проверка состояния реализации требований

Simulink ® Requirements™ предоставляет сводки по статусу внедрения для наборов требований. Эти сводки по статусу можно использовать для определения пробелов в реализации требований в конструкции.

Реализация функциональных требований путем привязки к элементам модели

Тип требования определяет роль, которую имеет требование. Функциональные требования должны быть выполнены и способствовать улучшению состояния внедрения. При выборе требования в редакторе требований тип требования отображается на панели Подробно (Details) в разделе Свойства (Properties). При добавлении требования для его типа устанавливается значение Functional по умолчанию. Если потребность не предназначена для реализации, можно изменить вид потребности. Дополнительные сведения о типах требований см. в разделе Типы требований.

Для реализации функционального требования его можно связать с элементом модели Simulink, Stateflow ® или System Composer™. Требования, для которых установлено входящее соединение с типом Implementsили задать пользовательский тип связи, определенный как подтип Implements, считаются реализованными в соответствии со статусом реализации. Дополнительные сведения о настраиваемых типах связей см. в разделах Определение настраиваемых требований и Типы связей.

Статус внедрения для набора потребностей кумулятивно агрегируется по потребностям в наборе. Каждое дочернее требование должно быть выполнено, чтобы родительское требование считалось выполненным. Если потребность требуется реализовать вручную, ее можно связать с объектом обоснования для реализации. Статус реализации считает, что невыполнение этого требования является оправданным. Дополнительные сведения об обосновании требований см. в разделе Обоснование требований.

Примечание

Статус внедрения будет полагать, что любое требование осуществлено, если у этого будет поступающая связь с набором Типа к Implementsнезависимо от элемента источника ссылки (если источник ссылки не является обоснованием, в этом случае он будет считаться обоснованным). Сведения об изменении существующего типа ссылки см. в разделе Типы ссылок.

При связывании требования с элементом модели Simulink, Stateflow или System Composer для параметра Тип связи устанавливается значение Implements по умолчанию. При выборе требования в редакторе требований связанные связи и тип связи отображаются на панели Подробно (Details) в разделе Связи (Links).

Совет

Если потребность может быть реализована несколькими позициями и требуется получить подробный статус реализации каждой позиции, можно разделить потребность на более мелкие потребности и реализовать каждую потребность по отдельности.

Просмотр статуса внедрения

Статус реализации наборов требований можно просмотреть как в редакторе требований, так и в браузере требований в ракурсе требований. Для переключения отображения статуса в редакторе требований выберите Столбцы > Статус реализации. В Редакторе требований (Requirements Editor) или Браузере требований (Requirements Browser) укажите столбец Реализовано (Implemented) для каждого требования или набора требований, чтобы просмотреть связанный с ним статус реализации.

Полнота строки указывает, сколько требований в группе (включая родительские и дочерние требования) связано с элементами реализации. Цвет указывает на уровень реализации:

  • Реализовано (синий): требование связано с элементом со ссылкой Тип, равным Implements.

  • Выровнено (светло-синий): требование связано с выравниванием с типом связи, для которого установлено значение Implements. Дополнительные сведения см. в разделе Обоснование требований.

  • Нет (бесцветный): требование не имеет связи с типом, равным Implements.

Связанные темы