exponenta event banner

Проверки непротиворечивости требований

Проверка согласованности требований в Model Advisor

Непротиворечивость требований можно проверить с помощью Model Advisor.

Определение связей требований с отсутствующими документами

Код чека: mathworks.req.Documents

Убедитесь, что требования связаны с существующими документами.

Описание.  Интерфейс управления требованиями (RMI) использовался для связывания документа требований к конструкции с частью проекта модели, и интерфейс не может найти указанный документ.

Доступно с Simulink ® Requirements™.

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Документ требований, связанный с частью конструкции модели, недоступен в указанном месте. Откройте диалоговое окно Требования (Requirements) и исправьте путь к документу требований или переместите документ в указанное расположение.

Возможности и ограничения.  Из этой проверки можно исключить блоки и диаграммы.

Совет.  Если модель имеет ссылки на документ требований DOORS ®, для выполнения этой проверки необходимо открыть программное обеспечение DOORS и войти в систему.

Определение ссылок требований, указывающих недопустимые расположения в документах

Код чека: mathworks.req.Identifiers

Убедитесь, что требования связаны с допустимыми местоположениями (например, закладками, номерами строк, привязками) в документах.

Описание.  Интерфейс управления требованиями (RMI) использовался для связывания местоположения в документе требований к конструкции (закладка, номер строки или якорь) с частью проекта модели, и интерфейс не может найти указанное расположение в указанном документе.

Доступно с требованиями Simulink.

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Расположение в документе требований, связанное с частью конструкции модели, недоступно.Откройте диалоговое окно Требования (Requirements) и исправьте ссылку на местоположение в документе требований.

Возможности и ограничения.  Из этой проверки можно исключить блоки и диаграммы.

Совет.  Если модель имеет ссылки на документ требований DOORS, то для выполнения этой проверки необходимо открыть программное обеспечение DOORS и войти в систему.

Если модель имеет ссылки на документ Microsoft ® Word или Microsoft Excel ®, для выполнения этой проверки эти приложения должны быть закрыты на компьютере.

Определение ссылок на основе выбора, поля описания которых не соответствуют тексту документа требований

Код чека: mathworks.req.Labels

Убедитесь, что описания ссылок на основе выбора используют тот же текст, что и в документах по требованиям.

Описание.  Для маркировки требований в меню Требования модели использовалась основанная на выборе связь интерфейса управления требованиями (RMI) с текстом, который отображается в соответствующем документе требований. Эта проверка помогает управлять отслеживаемостью путем определения в меню описаний требований, которые не синхронизированы с текстом в документах.

Доступно с требованиями Simulink.

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Ссылки на основе выбора имеют описания, которые отличаются от соответствующих вариантов выбора в документах потребностей.Если разница отражает изменение в документе потребности, щелкните Обновить (Update) в результатах Model Advisor, чтобы заменить текущее описание в ссылке на основе выбора текстом из документа потребности (внешнее описание). Можно также щелкнуть правой кнопкой мыши объект в окне модели, выбрать команду Править/добавить связи (Edit/Add Links) в меню Требования (Requirements) и использовать диалоговое окно Требования (Requirements), которое появляется для синхронизации текста.

Возможности и ограничения.  Из этой проверки можно исключить блоки и диаграммы.

Совет.  Если модель имеет ссылки на документ требований DOORS, то для выполнения этой проверки необходимо открыть программное обеспечение DOORS и войти в систему.

Если модель имеет ссылки на документ Microsoft Word или Microsoft Excel, для выполнения этой проверки эти приложения должны быть закрыты на компьютере.

Определение связей требований с типом пути, несовместимым с настройками

Код чека: mathworks.req.Paths

Убедитесь, что пути требований имеют тип, выбранный в настройках.

Описание.  Используется интерфейс управления требованиями (RMI), и пути, определяющие расположение документов требований, отличаются от типа ссылки на файл, заданного в качестве предпочтения.

Доступно с требованиями Simulink.

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Пути, указывающие расположение документов требований, используют тип ссылки на файл, который отличается от предпочтения, заданного в диалоговом окне Параметры требований (Requirements Settings) на вкладке Связь выбора (Selection Linking).

Измените предпочтительный тип ссылки на файл документа или указанные пути, выполнив одно из следующих действий.

  • Нажмите кнопку Исправить, чтобы изменить текущий путь на допустимый.

  • На вкладке Приложения щелкните Средство просмотра требований. На вкладке «Просмотр требований» выберите «Параметры связи».

    Перейдите на вкладку «Связь выбора» и измените значение параметра «Ссылка на файл документа».

Проверка абсолютных путей Linux.  В системах Linux ® эта проверка называется Идентификация ссылок требований с абсолютным типом пути. При проверке выводятся предупреждения для ссылок требований, использующих абсолютный путь .

Рекомендуемое действие:

  1. Щелкните правой кнопкой мыши объект модели и выберите «Требования» > «Редактировать/добавить связи».

  2. Измените путь в поле Документ (Document), чтобы использовать путь относительно текущей рабочей папки или расположения модели.

Возможности и ограничения.  Из этой проверки можно исключить блоки и диаграммы.

Определение объектов IBM Rational DOORS, связанных из Simulink, которые не связаны с Simulink

Определите объекты IBM ® Rational ® DOORS, являющиеся объектами связей отслеживания требований Simulink-to-DOORS, но не имеющие соответствующих связей отслеживания требований DOORS-to-Simulink.

Описание.  Имеются ссылки Simulink-to-DOORS, которые не имеют соответствующей ссылки от DOORS к Simulink. Для выполнения этой проверки необходимо войти в IBM Rational DOORS Client.

Доступно с требованиями Simulink.

Результаты и рекомендуемые действия.  Интерфейс управления требованиями (RMI) анализирует каналы Simulink-to-DOORS для определения наличия соответствующего обратного канала. В RMI перечислены объекты DOORS, не имеющие обратной связи с объектом Simulink. Для таких объектов создайте соответствующие связи DOORS-Simulink:

  1. Щелкните гиперссылку Fix All в отчете RMI, чтобы вставить необходимые ссылки в клиент DOORS для списка отсутствующих ссылок требований. Можно также создавать отдельные связи, переходя к каждому элементу DOORS и создавая связь с объектом Simulink.

  2. Повторно запустите проверку канала.