Обоснование требований
Используйте обоснование требования, чтобы исключить требования из статуса реализации и верификации для ваших наборов требований. Вы можете иметь нефункциональные требования в спецификации проекта модели, которые не могут быть реализованы в вашем проекте. Вы также можете иметь требования, которые требуют ручной проверки, вместо того, чтобы связывать с тестами или подсистемами верификации. Можно обосновать эти требования, чтобы переопределить их статусы реализации и верификации и более эффективно итерировать на проекте модели.
Обоснование является объектом, связанным с требованием. Все объекты обоснования в наборе требований сгруппированы в один объект обоснования верхнего уровня как его дочерние элементы. Любое требование может быть обосновано для реализации, верификации или того и другого. Обоснованные требования не способствуют общей агрегированности статуса реализации и верификации и появляются светло-синим цветом в Implemented и Verified столбцах редактора требований.
В Simulink существуют два рабочих процессов для обоснования требований® Requirements™. Можно создать объект выравнивания, создать ссылку на существующее выравнивание или создать ссылку на новое выравнивание за один шаг.
Создайте объект выравнивания, щелкнув Add Requirements > Add Justification в редакторе требований или
значок на Requirements Browser панели инструментов.Для ссылки на существующее обоснование выберите его в редакторе требований или браузере требований, щелкните его правой кнопкой мыши и выберите Select for Linking with Requirement. Затем щелкните правой кнопкой мыши требование и выберите Create a Link From.... По умолчанию ссылка Type установлена на
Implements.В редакторе требований создайте ссылку на новое обоснование, щелкнув правой кнопкой мыши требование и выбрав Justification > Link with new Justification for implementation или Link with new Justification for verification.
Чтобы обосновать родительское требование и все его дочерние требования, выберите в Property Inspector опцию «Иерархическое обоснование».
Примечание
Вы не можете связать объекты обоснования с объектами, которые не являются требованиями.