Задайте пользовательские типы требования и ссылки

Все требование и объекты ссылки в Simulink® Requirements™ имеет Type свойство. Type свойство может быть одним из встроенных типов требования или соединить типы или пользовательское требование или соединить тип. Пользовательское требование и типы ссылки должны быть подтипом одного из встроенных типов и наследовать функциональность от того типа.

Создайте и укажите пользовательские типы требования и ссылки

Создать пользовательское требование или тип ссылки:

  1. Создайте sl_customization.m файл в текущей рабочей папке. В MATLAB®, во вкладке Home нажмите New Script. Скопируйте и вставьте этот код и сохраните файл как sl_customization.m.

    function sl_customization(cm)
        cObj = cm.SimulinkRequirementsCustomizer;
    end
    
  2. Добавьте определения файлу настройки, чтобы создать пользовательские типы требования или типы настраиваемой ссылки.

    Примечание

    Типы настраиваемой ссылки не наследовали направление ссылки от встроенного типа ссылки. Когда вы создаете подтипы для 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
    

  3. Укажите индивидуальную настройку. В командной строке MATLAB, введите:

    sl_refresh_customizations
    Для получения дополнительной информации смотрите Индивидуальные настройки Регистра с Simulink.

Наследуемая функциональность от встроенного типа

Пользовательское требование и типы ссылки наследовали некоторую функциональность от встроенного типа, они - подтип, включая то, как они способствуют состоянию реализации и верификации и направлению и удару ссылок.

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

Только функциональный встроенный тип требования способствует состоянию реализации и верификации. Когда вы создаете тип требования, который является подтипом 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 выпадающий список.

Похожие темы