Оцените выделение и удар
Можно использовать окно Traceability Diagram, чтобы визуализировать ссылки между элементами Модельно-ориентированного проектирования. Схема происходит из стартового узла, который соответствует элементу и отображает ссылки, также названные ребрами, от стартового узла до других узлов, которые соответствуют другим связываемым элементам. Для получения дополнительной информации смотрите, Визуализируют Ссылки со Схемой Трассируемости.
Схемы трассируемости также позволяют вам визуально смотреть requirements allocation в наборе требования, который является процессом разлагающихся требований и соединением их к элементам дизайна и тесту для реализации и верификации. Выделение требований позволяет вам подтверждать, что проект реализует и проверяет поведение, которое требуется на высоком уровне, таком как требования, которые описывают потребности конечного пользователя.
Можно также использовать схему трассируемости, чтобы визуализировать косвенные ссылки, чтобы оценить, как изменение влияет и распространяет между элементами Модельно-ориентированного проектирования, особенно когда изменение требований в иерархии требований, которая содержит несколько уровней.
Оцените выделение требований
Процесс выделения требований позволяет вам подтверждать, что функциональность, требуемая на высоком уровне, реализована и проверена проектом и тестами, соответственно. Чтобы выделить одно требование высокого уровня, вы должны:
Разложите требование высокого уровня на одно или несколько низкоуровневых требований, которые более подробны для получения возможности итоговой реализации и верификации. Низкоуровневые требования должны кумулятивно получить функциональность, требуемую на высоком уровне.
Создайте ссылки между требованием высокого уровня и анализируемыми требованиями. Это создает трассируемость от требуемой функциональности высокого уровня до низкоуровневой реализации и верификации.
Реализуйте и проверьте низкоуровневые требования путем соединения их, чтобы спроектировать и тестовые изделия.
После того, как вы выделите требование, можно использовать схему трассируемости, чтобы создать схему из того требования и визуально смотреть выделение. Можно визуализировать ссылки на низкоуровневые требования и на элементы реализации и верификации, такие как Simulink® блоки и тесты.
Разложение требований
Первый шаг выделения требований должен анализировать ваши требования высокого уровня. Некоторые требования слишком абстрактны и должны быть разложены на низкоуровневые функциональные требования, которые могут быть реализованы и проверены.
Разложение требований высокого уровня в более подробные низкоуровневые требования позволяет вам реализовывать требования с компонентами проекта, которые явным образом выполняют необходимую функциональность. Кроме того, можно создать тесты, которые только требуют части системы, которая содержит тот компонент. Эта реализация уровня компонента и верификация помогают требованиям остаться реализованными и проверили, когда несколько компонентов интегрированы в систему.
Например, Определение Требований для Модели Круиз-контроля описывает разработку системы круиз-контроля. crs_req_func_spec набор требования содержит требования, которые гарантируют, что система выполняет функциональным спецификациям. Calculate Target Speed and Throttle Value требование является примером анализируемого, требования высокого уровня.
Соединение, реализовывая и проверяя требования
Для анализируемого требования высокого уровня, которое будет выделено, это должно соединиться с соответствующими низкоуровневыми требованиями. Кроме того, каждое низкоуровневое функциональное требование должно иметь по крайней мере одну исходящую ссылку для реализации и одну исходящую ссылку для верификации. Если вы намеренно не реализовывали или проверяли низкоуровневое функциональное требование, можно создать ссылку на выравнивание и добавить информацию о том, почему это требование освобождено от реализации или верификации. Для получения дополнительной информации смотрите, Выравнивают по ширине Требования.
Необходимо полностью выделить требования высокого уровня, чтобы визуализировать элементы проекта в окне Traceability Diagram. Например, Calculate Target Speed and Throttle Value анализируется, но это не соединяется со своими дочерними требованиями. Схема ниже показов, что это только имеет одну ссылку.
Можно использовать Редактор Требований, Перспективу Требований или Матрицу Трассируемости, чтобы создать ссылки. Для получения дополнительной информации см.:
Визуализация выделения требований
После того, как вы выделите свои требования, можно визуализировать выделение путем создания схемы трассируемости из требования высокого уровня. Для получения дополнительной информации смотрите, Генерируют Схему Трассируемости.
Например, схема ниже происходит из Calculate Target Speed and Throttle Value требование и показывает добавленные ссылки между Calculate Target Speed and Throttle Value и его дочерние требования.
Каждое дочернее требование имеет по крайней мере один Implement введите ссылку на элемент модели. Однако дочерние требования не имеют Verify введите ссылки на тестовые изделия или на выравнивания, таким образом, Calculate Target Speed and Throttle Value требование не рассматривается полностью выделенным.
Визуализируйте распространение изменения
Simulink Requirements™ позволяет вам отслеживать изменения к требованиям. Если связанное требование изменяется, связанная ссылка имеет проблему изменения. Для получения дополнительной информации смотрите, Отслеживают Изменения к Ссылкам Требования.
В Схеме Трассируемости ссылки с проблемами изменения показываются пунктирными красными линиями. Поскольку проблемы изменения применяются только к мгновенной ссылке, когда вы изменяете связанное требование, можно использовать Схему Трассируемости, чтобы оценить распространение изменения для ссылок, которые имеют проблемы изменения и элементы, которые косвенно соединяются с измененным требованием.
Визуализируйте косвенные ссылки
Если вы вносите изменение в требование, проблема изменения только применяется к той мгновенной ссылке. Однако изменения могут влиять на другие элементы, которые косвенно соединяются. Indirect links является ссылками между элементами, которые имеют по крайней мере одну степень разделения. Можно использовать схему трассируемости, чтобы визуализировать косвенные ссылки.
Например, эта схема показывает косвенную ссылку между Disabling cruise control требование и блок Simulink Enumerated Constant:
Оцените распространение изменения
Изменения могут течь из измененного узла через несколько слоев восходящих или нисходящих узлов. Можно использовать схему трассируемости, чтобы визуализировать, как изменения распространяют через косвенные ссылки и оценивают, как изменения могут влиять далее на восходящие или нисходящие узлы.
Например, схема ниже происходит из Calculate Target Speed and Throttle Value требование и показывает ссылки на дочерние требования. Изменение было внесено в Calculate Target Speed and Throttle Value требование. Схема указывает что четыре исходящих ссылки от Calculate Target Speed and Throttle Value требование имеет проблемы изменения.
Несмотря на то, что ссылки на требования внука Throttle Value Computation и Next Target Speed Computation не имейте проблем изменения, схема показывает, что они косвенно соединяются с измененным требованием – Calculate Target Speed and Throttle Value.
Можно оценить удар что изменение в Calculate Target Speed and Throttle Value требование имеет на требованиях внука путем навигации им в Редакторе Требований. Для получения дополнительной информации смотрите, Перешли от Узла или Ребра к Артефакту.
Смотрите также
slreq.generateTraceabilityDiagram