Исследуйте результаты верификации модели при помощи Данных моделирования Inspector
В этом примере показов, как использовать Данные моделирования Inspector для просмотра выхода из блока верификации модели в тестируемой системе. Если у вас есть Test™ Simulink ®, блоки верификации модели возвращаются Pass, Fail, или Untested результаты на каждом временном шаге. Исследуя результаты блока верификации модели, можно:
Определите время симуляции, когда происходит отказ.
Сравните результаты верификации с другими соответствующими сигналами.
Проследите отказы от Данных моделирования Inspector до модели.
Для получения дополнительной информации смотрите Блоки верификации модели.
Проверьте поведение модели с помощью блока Assertion
В этом примере блок подсистемы Controller моделирует систему круиз-контроля в автомобиле. Эта подсистема выводит значение дросселя на основе различия между фактической и целевой скоростями.
Подсистема верификации Safety Properties использует блок Assertion, чтобы проверить, что система отключается, когда тормоз применяется в течение трех последовательных временных шагов.
Определите время симуляции отказа
Симулируйте модель и просмотрите выход блока Assertion в Данные моделирования Inspector.
На вкладке Simulation нажмите запуск.
На вкладке Simulation, в разделе Review Results, выберите Data Inspector.
На панели навигации Данных моделирования Inspector выберите
BrakeAssertion.
Результаты показывают, что утверждение прекращается на уровне 0,23 секунд.
Сравнение результатов верификации с другими сигналами
Проверьте причину отказа путем построения графиков значений тормозного и дроссельного сигналов.
Щелкните правой кнопкой мыши по
throtи выберите Журнал выбранных сигналов.Симулируйте модель.
Сконфигурируйте Данные моделирования Inspector с двумя подграфиками.
На панели навигации Данных моделирования Inspector выберите сигналы для построения графика. Для первого подграфика выберите
BrakeAssertion. Для второго подграфика выберитеController:1(дроссель) иInputs:3(тормоз).
Результаты показывают, что нажатие тормоза на 0,2 секунды не расцепляет дроссель.
Проследите отказ к модели
Найдите блок, который производит результат верификации путем трассировки результата из Данных моделирования Inspector обратно в модель. На панели навигации Данных моделирования Inspector щелкните правой кнопкой мыши BrakeAssertion и выберите Highlight in Model. Редактор открывает подсистему верификации и подсвечивает блок Assertion.
См. также
Assertion | sltest.getAssessments | Подразумевает (Simulink Design Verifier) | Proof Assumption (Simulink Design Verifier)