Просмотрите графические результаты библиотеки Model Verification
Графические результаты выходных параметров Simulink® Test™ библиотеки блоков Model Verification, таким образом, можно использовать менеджера по Тесту или Инспектора Данных моделирования, чтобы видеть когда тестовая передача оценок и сбой.
В дополнение к предупреждениям или поведению симуляции остановки, графические результаты показывают результаты оценки блока во время симуляции. Результаты блока Viewing Model Verification графически помогают вам к:
Определите временной шаг, когда отказ произойдет.
Отладьте модель путем сравнения результата верификации с соответствующими сигналами.
Проследите отказы от результатов до модели.
Этот пример показывает, как просмотреть выходные параметры от блоков Model Verification в менеджере по Тесту или Инспекторе Данных моделирования.
Откройте модель
Модель содержит подсистему верификации Safety Properties, который использует блок Assertion, чтобы проверять, расцепляет ли система, если тормоз был применен для трех временных шагов. Подсистема верификации также использует блоки Simulink® Design Verifier™.
open_system(fullfile(matlabroot,'examples','simulinktest',... 'sltestCruiseControlDefective'))
Моделируйте модель и просмотрите результаты в SDI
sim('sltestCruiseControlDefective')
После того, как симуляция завершается, открытый SDI. Результаты показывают, что утверждение перестало работать в 0,23 секунды.
Simulink.sdi.view
Подсветите блок утверждения в модели
Чтобы найти блок утверждения в модели, щелкните правой кнопкой по BrakeAssertion in SDI и выберите Highlight in Model. Блок подсвечен в подсистеме верификации.
