Документация

Откройте модель sldemo_absbrake.

Добавьте блок Check Static Upper Bound от библиотеки Model Verification до модели.

Соедините блок Check Static Upper Bound с сигналом Sd.

В диалоговом окне блока Check Static Upper Bound и наборе Upper bound к 725.

Чтобы открыть менеджера по Тесту, из модели, выбирают Analysis> Test Manager.

Чтобы создать тестовый файл, нажмите New. Назовите и сохраните тестовый файл.

Новый тестовый файл состоит из тестового набора, который содержит один базовый тест. Они появляются в панели Test Browser.

Выберите New> Simulation Test.

Щелкните правой кнопкой по новому тесту симуляции по панели Test Browser и выберите Rename. Переименуйте тест к Upper Bound Test.

В тесте, под System Under Test, нажимают кнопку Use current model, чтобы присвоить модель sldemo_absbrake тесту.

Под Parameter Overrides нажмите Add, чтобы добавить набор параметра.

В диалоговом окне нажмите кнопку Refresh, чтобы обновить список параметров модели.

Установите флажок рядом с переменной m рабочей области. Нажмите OK.

Дважды кликните Override Value и введите 55.

Это значение заменяет значение параметров в модели, когда симуляция запускается.

В панели Test Browser выберите случай Upper Bound Test.

В менеджере по Тесту панель инструментов нажмите Run. Результаты испытаний появляются в панели Results and Artifacts.

Расширьте результаты испытаний и дважды кликните Upper Bound Test.

Новая вкладка отображает результат и заканчивается сводные данные теста симуляции.

Результат показывает на непройденный тест. В этом случае тормозной путь превысил верхнюю границу 725 и инициировал утверждение от блока Check Static Upper Bound. Раздел Errors содержит детали утверждения.