Верификация компонента позволяет вам протестировать компонент проекта в своей модели с помощью любого из следующих подходов:
Within the context of the model that contains the component — Используя систематическую симуляцию контроллеров с обратной связью требует, чтобы вы проверили компоненты в модели системы управления. Выполнение так позволяет вам протестировать алгоритмы управления со своей моделью. Этот подход называется system analysis.
As standalone components — Для высокого уровня уверенности в алгоритме компонента проверьте компонент в изоляции от остальной части системы. Этот подход называется component analysis.
Проверка автономных компонентов обеспечивает три преимущества:
Можно использовать анализ, чтобы фокусироваться на фрагментах проекта, который вы не можете протестировать из-за физических ограничений системы, которой управляют.
Можно использовать этот подход для симуляций разомкнутого цикла, чтобы протестировать модель объекта управления без управления с обратной связью.
Можно использовать этот подход, когда модель недоступна или когда необходимо моделировать модель системы управления в ускоренном режиме по причинам производительности.
Путем изоляции компонента, чтобы проверить и использования инструментов, которые обеспечивает Simulink® Design Verifier™, вы создаете тесты, которые позволяют вам расширить осциллограф тестирования на большие модели. Это расширенное тестирование помогает вам выполнить следующее:
Достигните 100%-го покрытия модели — Если определенные компоненты модели не записывают 100%-е покрытие, модель верхнего уровня не может достигнуть 100%-го покрытия. Путем проверки этих компонентов индивидуально, можно создать тесты, которые полностью задают интерфейс компонента, позволяя компоненту записать 100%-е покрытие.
Отладьте компонент — Чтобы проверить, что каждый компонент модели удовлетворяет заданные конструктивные требования, можно создать тесты, которые проверяют, что определенные компоненты выполняют, как разработано.
Протестируйте робастность компонента — Чтобы проверить, что компонент обрабатывает неожиданные входные параметры и вычисления правильно, можно создать тесты, которые генерируют данные. Затем протестируйте возможности обработки ошибок в компоненте.
