Проверка компонентов позволяет протестировать конструкторский компонент в модели с использованием одного из следующих подходов.
В контексте модели, содержащей компонент. Использование систематического моделирования контроллеров с замкнутым контуром требует проверки компонентов в модели системы управления. Это позволяет протестировать алгоритмы управления с помощью модели. Этот подход называется системным анализом.
Как автономные компоненты - для высокого уровня уверенности в алгоритме компонентов проверьте компонент в изоляции от остальной части системы. Этот подход называется анализом компонентов.
Проверка автономных компонентов обеспечивает три преимущества:
Анализ можно использовать для сосредоточения внимания на тех частях конструкции, которые невозможно проверить из-за физических ограничений контролируемой системы.
Этот подход можно использовать для моделирования с разомкнутым контуром для тестирования модели завода без управления обратной связью.
Этот подход можно использовать при недоступности модели или при необходимости моделирования модели системы управления в ускоренном режиме по причинам производительности.
Изолируя проверяемый компонент и используя инструменты Simulink ® Design Verifier™, вы создаете тестовые примеры, которые позволяют расширить область тестирования для больших моделей. Это расширенное тестирование позволяет выполнить следующие действия.
Достижение 100% покрытия модели - если некоторые компоненты модели не регистрируют 100% покрытия, модель верхнего уровня не может достичь 100% покрытия. Проверяя эти компоненты по отдельности, можно создать тестовые примеры, которые полностью определяют интерфейс компонента, позволяя компоненту записывать 100% покрытия.
Отладка компонента (Debug the component) - чтобы убедиться, что каждый компонент модели удовлетворяет указанным требованиям к конструкции, можно создать тестовые примеры, которые проверяют, что определенные компоненты работают в соответствии с конструкцией.
Проверка надежности компонента - чтобы убедиться, что компонент правильно обрабатывает неожиданные входные данные и вычисления, можно создать тестовые примеры, генерирующие данные. Затем протестируйте возможности обработки ошибок в компоненте.