exponenta event banner

Проверки модели для ссылок требований

Чтобы проверить, что каждая ссылка требований в модели имеет допустимый целевой объект в документе требований, на панели инструментов Simulink откройте приложение Требования (Requirements). Щелкните Проверить непротиворечивость (Check Consistency), чтобы запустить проверки непротиворечивости требований в Model Advisor.

В Model Advisor проверки согласованности требований доступны в:

  • По продукту > Требования к Simulink > Согласованность требований

  • По задаче > Проверка непротиворечивости требований

Дополнительные сведения об этих проверках Model Advisor см. в разделе Проверки согласованности требований (требования Simulink).

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

Связанные темы