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