Что такое верификация компонента?

Подходы верификации компонента

Верификация компонента позволяет вам протестировать компонент проекта в своей модели с помощью любого из следующих подходов:

  • Within the context of the model that contains the component — Используя систематическую симуляцию контроллеров с обратной связью требует, чтобы вы проверили компоненты в модели системы управления. Выполнение так позволяет вам протестировать алгоритмы управления со своей моделью. Этот подход называется system analysis.

  • As standalone components — Для высокого уровня доверия к алгоритму компонента проверьте компонент в изоляции от остальной части системы. Этот подход называется component analysis.

    Проверка автономных компонентов обеспечивает три преимущества:

    • Можно использовать анализ, чтобы фокусироваться на фрагментах проекта, который вы не можете протестировать из-за физических ограничений системы, которой управляют.

    • Можно использовать этот подход для симуляций разомкнутого контура, чтобы протестировать модель объекта управления без управления с обратной связью.

    • Можно использовать этот подход, когда модель недоступна или когда необходимо симулировать модель системы управления в ускоренном режиме по причинам эффективности.

Инструменты Simulink Design Verifier для верификации компонента

Путем изоляции компонента, чтобы проверить и использования инструментов, которые обеспечивает Simulink® Design Verifier™, вы создаете тесты, которые позволяют вам расширить осциллограф тестирования на большие модели. Это расширенное тестирование помогает вам выполнить следующее:

  • Достигните 100%-го покрытия модели — Если определенные компоненты модели не записывают 100%-е покрытие, модель верхнего уровня не может достигнуть 100%-го покрытия. Путем проверки этих компонентов индивидуально, можно создать тесты, которые полностью задают интерфейс компонента, позволяя компоненту записать 100%-е покрытие.

  • Отладьте компонент — Чтобы проверить, что каждый компонент модели удовлетворяет заданным конструктивным требованиям, можно создать тесты, которые проверяют, что определенные компоненты выполняют, как спроектировано.

  • Протестируйте робастность компонента — Чтобы проверить, что компонент обрабатывает неожиданные входные параметры и вычисления правильно, можно создать тесты, которые генерируют данные. Затем протестируйте возможности обработки ошибок в компоненте.