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