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

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

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

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

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

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

Примечание

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

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

Совет

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

Просмотр состояния реализации

Статус реализации наборов требований можно просмотреть как в редакторе требований, так и в браузере требований в перспективном представлении требований. Чтобы переключить отображение статуса в редакторе требований, выберите Columns > Implementation Status. В редакторе требований или браузере требований щелкните на столбце Implemented для каждого набора требований или требований, чтобы просмотреть статус реализации, связанный с ним.

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

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

  • Justified (светло-синий): Требование связано с обоснованием со ссылкой Type установлено на Implements. Для получения дополнительной информации см. раздел Обоснование требований.

  • None (бесцветный): Требование не имеет ссылки с Type установлено на Implements.

Похожие темы