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

Проверяйте непротиворечивость требований в Model Advisor

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

Идентифицируйте ссылки требования с недостающими документами

ID проверки: mathworks.req.Documents

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

Описание.  Вы использовали Requirements Management Interface (RMI), чтобы сопоставить документ конструктивных требований с частью вашего образцового проекта, и интерфейс не может найти заданный документ.

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

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

УсловиеРекомендуемое действие
Документ требований, сопоставленный с частью вашего образцового проекта, не доступен в заданном местоположении. Откройте диалоговое окно Requirements и зафиксируйте путь документа требований или переместите документ заданному местоположению.

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

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

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

ID проверки: mathworks.req.Identifiers

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

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

Доступный с Simulink Requirements.

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

УсловиеРекомендуемое действие
Местоположение в документе требований, сопоставленном с частью вашего образцового проекта, не доступно.Откройте диалоговое окно Requirements и зафиксируйте ссылку местоположения в рамках документа требований.

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

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

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

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

ID проверки: mathworks.req.Labels

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

Описание.  Вы использовали основанное на выборе соединение Requirements Management Interface (RMI), чтобы маркировать требования в меню Requirements модели с текстом, который появляется в соответствующем документе требований. Эта проверка помогает вам управлять трассируемостью путем идентификации описаний требования в меню, которые не синхронизируются с текстом в документах.

Доступный с Simulink Requirements.

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

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

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

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

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

Идентифицируйте ссылки требования с типом пути, противоречивым с настройками

ID проверки: mathworks.req.Paths

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

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

Доступный с Simulink Requirements.

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

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

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

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

  • В окне модели выберите Analysis> Requirements> Settings, выберите вкладку Selection Linking и измените значение для опции Document file reference.

Проверка Linux на Абсолютные пути.  В системах Linux® эту проверку называют Identify requirement links with absolute path type. Проверка сообщает о предупреждениях для ссылок требований, которые используют абсолютный путь.

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

  1. Щелкните правой кнопкой по объекту модели и выберите Requirements> Edit/Add Links.

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

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

Идентифицируйте объекты Rational DOORS IBM, соединенные от Simulink, которые не соединяются с Simulink

Идентифицируйте объекты IBM® Rational® DOORS, которые являются целями ссылок трассируемости требований SIMULINK К ДВЕРЯМ, но которые не имеют никаких соответствующих ссылок трассируемости требований ДВЕРЕЙ В SIMULINK.

Описание.  У вас есть ссылки SIMULINK К ДВЕРЯМ, которые не имеют соответствующей ссылки от DOORS до Simulink. Вы должны быть зарегистрированы Клиенту Rational DOORS IBM, чтобы осуществить эту проверку.

Доступный с Simulink Requirements.

Результаты и Рекомендуемые Действия.  Requirements Management Interface (RMI) исследует ссылки SIMULINK К ДВЕРЯМ, чтобы определить присутствие соответствующей ссылки возврата. RMI перечисляет объекты DOORS, которые не имеют ссылки возврата на объект Simulink. Для таких объектов создайте соответствующие ссылки ДВЕРЕЙ В SIMULINK:

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

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