Все требование и объекты ссылки в Simulink® Requirements™ имеет Type
свойство. Type
свойство может быть одним из встроенных типов требования или соединить типы или пользовательское требование или соединить тип. Пользовательское требование и типы ссылки должны быть подтипом одного из встроенных типов и наследовать функциональность от того типа.
Создать пользовательское требование или тип ссылки:
Создайте sl_customization.m
файл в текущей рабочей папке. В MATLAB®, во вкладке Home нажмите New Script. Скопируйте и вставьте этот код и сохраните файл как sl_customization.m
.
function sl_customization(cm) cObj = cm.SimulinkRequirementsCustomizer; end
Добавьте определения файлу настройки, чтобы создать пользовательские типы требования или типы настраиваемой ссылки.
Примечание
Типы настраиваемой ссылки не наследовали направление ссылки от встроенного типа ссылки. Когда вы создаете подтипы для Verify
или Confirm
встроенные типы, используйте то же направление ссылки в качестве встроенного типа, чтобы гарантировать, что тестовое изделие способствует состоянию верификации. Для получения дополнительной информации смотрите Типы Ссылки.
Например, этот код создает пользовательский тип требования под названием Heading
это - подтип встроенного типа требования Container
. Это также создает два типа настраиваемой ссылки под названием Satisfy
и Solve
это - подтипы встроенных типов ссылки Verify
и Implement
, соответственно. Для получения дополнительной информации смотрите Типы Требования и Типы Ссылки.
function sl_customization(cm) cObj = cm.SimulinkRequirementsCustomizer; cObj.addCustomRequirementType('Heading',slreq.custom.RequirementType.Container,... 'Headings for functional requirements'); cObj.addCustomLinkType('Satisfy', slreq.custom.LinkType.Verify,'Satisfies', ... 'Satisfied by','Links from verification objects to requirements'); cObj.addCustomLinkType('Solve', slreq.custom.LinkType.Implement,'Solves', ... 'Solved by','Links from implementation objects to requirements'); end
Укажите индивидуальную настройку. В командной строке MATLAB, введите:
sl_refresh_customizations
Пользовательское требование и типы ссылки наследовали некоторую функциональность от встроенного типа, они - подтип, включая то, как они способствуют состоянию реализации и верификации и направлению и удару ссылок.
Только функциональный встроенный тип требования способствует состоянию реализации и верификации. Когда вы создаете тип требования, который является подтипом Functional
, это также способствует состоянию реализации и верификации. Пользовательские типы требования, которые являются подтипами других встроенных типов, не способствуют тем состояниям. Для получения дополнительной информации смотрите Состояние Верификации Требований Состояния и Анализа Реализации Требований Анализа.
В примере кода выше, Heading
пользовательский тип требования не способствует состояниям реализации или верификации, потому что это - подтип встроенного Container
тип требования.
Чтобы реализовать функциональное требование, необходимо соединиться, требование к элементу Модельно-ориентированного проектирования при помощи ссылки со ссылкой вводят Implement
. Для получения дополнительной информации смотрите Состояние Реализации Требований Анализа.
Точно так же, чтобы проверить функциональное требование, необходимо соединиться, требование к поддерживаемому тестовому изделию со ссылкой вводят Verify
или, если это соединяется с внешним результатом испытаний, тип ссылки Confirm
. Для получения дополнительной информации смотрите Состояние Верификации Требований Анализа и Включайте Результаты Внешних Источников в Состояние Верификации.
Когда вы создаете тип настраиваемой ссылки, который является подтипом Implement
, Verify
, или Confirm
, тип настраиваемой ссылки способствует состоянию реализации или верификации.
В примере кода выше, Satisfy
и Solve
типы настраиваемой ссылки способствуют состояниям реализации и верификации для Functional
требования, потому что они - подтипы Verify
и Implement
соедините типы, соответственно.
Повлияйте на направление, описывает, как изменения распространяют между узлами в схеме трассируемости. Для получения дополнительной информации смотрите, что раздел Impact Direction Визуализирует Ссылки со Схемой Трассируемости. Типы настраиваемой ссылки наследовали направление удара от встроенного типа, из которого они являются подтипом. Однако, потому что типы настраиваемой ссылки не наследовали направление ссылки, используйте то же направление ссылки в качестве встроенных типов для непротиворечивости в схеме трассируемости. Для получения дополнительной информации см. таблицу под Типами Ссылки.
Можно выбрать пользовательское требование или соединить тип из Редактора Требований. Чтобы установить требование на пользовательский тип требования, нажмите Show Requirements и выберите требование. В панели Details, под Properties, выбирают пользовательский тип требования из Type выпадающий список.
Чтобы установить ссылку на тип настраиваемой ссылки, нажмите Show Links и выберите ссылку. В панели Details, под Properties, выбирают тип настраиваемой ссылки из Type выпадающий список.