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

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

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

  • By Product> Simulink Requirements> Requirements Consistency

  • By Task> Requirements Consistency Checking

Для получения дополнительной информации об этих проверках Model Advisor, смотрите Проверки согласованности требований (Simulink Requirements)

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

Похожие темы