Верификация компонента

При тестировании моделей можно найти, что модели не соответствуют конструктивным требованиям. Решение этих проблем требует дополнительной верификации компонента. В зависимости от ваших потребностей можно использовать блок Signal Editor, блоки в библиотеке Model Verification или продукты, такие как Simulink® Test™, Simulink Design Verifier™ и Simulink Coverage™ к компонентам тестовой модели.

Используйте основополагающие блоки

Можно пользоваться библиотекой Model Verification, чтобы проверить поведение компонентов модели. Эти блоки проверяют, удовлетворяют ли сигналы модели заданные требования. Если те требования не удовлетворяются в процессе моделирования, блоки могут остановить симуляцию или вывести предупреждение. Для получения дополнительной информации смотрите Компоненты Тестовой модели.

Можно также создать тесты при помощи блока Signal Editor, чтобы сконфигурировать входные сигналы и затем регистрировать систему выходные параметры. Для получения дополнительной информации смотрите, Создают и Данные сигнала Редактирования. После создания данных сигнала можно регистрировать выходные параметры и сохранить тесты для дальнейшего использования. Для получения дополнительной информации смотрите, Конфигурируют Сигнал для Логгирования.

Выполните строгую верификацию компонента

Некоторые компоненты требуют большого количества тестов, которые затрудняют, чтобы справиться пользующийся только библиотека Model Verification и блок Signal Editor. Если вы требуете более строгой верификации компонента, используйте Simulink Test.

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

Создайте тесты для изолированного компонента

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

This flow chart shows a high level schematic of the structure used to verify an isolated component. The component is placed in a test harness to generate data for later merging and additional testing.

Создать данные о тесте для изолированного компонента:

  1. Создайте тестовую обвязку для компонента с Simulink Test и добавьте соответствующие тесты. Для получения дополнительной информации о том, как создать тестовую обвязку, смотрите, Создают Тестовую обвязку (Simulink Test).

  2. Регистрируйте тестовые сигналы.

  3. Повторите шаги 1-2, пока вы не сконфигурируете тесты, чтобы удовлетворить вашим целям проекта.

Создайте тесты для компонента в модели

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

This shows a high level schematic of the structure used to verify a component in a model. The component can be optionally placed in a test harness to generate data for later merging and additional testing.

Создать данные о тесте для компонента в модели:

  1. Используйте Simulink Test, чтобы добавить соответствующие тесты в модель.

  2. Добавьте компонент в тестовую обвязку и сгенерируйте тесты компонента непосредственно из модели. Для получения дополнительной информации смотрите, Генерируют Тесты и Тестовые обвязки для Компонента или Модели (Simulink Test).

  3. Если тесты не являются всесторонними, создают обвязку для компонента и добавляют или изменяют тесты.

  4. Повторите шаги 1-3, пока вы не сконфигурируете тесты, чтобы удовлетворить вашим целям проекта.

Запустите тестовый набор на компоненте

Если вы создаете тесты и для изолированных компонентов и для компонентов в модели при помощи Simulink Test, получившийся тестовый набор содержит все тесты. Менеджер по Тесту в Simulink Test позволяет вам управлять и выполнять тесты, которые вы создали. Для получения дополнительной информации смотрите, Создают и Запущенный Базовый Тест (Simulink Test). Менеджер по Тесту также позволяет вам выполнять дополнительные действия верификации, такие как анализ покрытия. Для получения дополнительной информации смотрите, Собирают Покрытие в Тестах (Simulink Test). Если результаты удовлетворяют вашим целям проекта, можно подготовить компонент к дополнительному тестированию.

Используйте другие продукты для дополнительного управления тестом

Если покрытие компонента является неполным, можно использовать Simulink Design Verifier, чтобы автоматически создать тесты, которые могут добавить недостающее тестовое покрытие. Для получения дополнительной информации смотрите то, Что Генерация Теста? (Simulink Design Verifier). Можно затем повторно выполнить анализ в Simulink Test. Если вы удовлетворены результатами, можно использовать данные о тесте, чтобы проверить дополнительные цели проекта при помощи Simulink Coverage и Simulink Check™.

Можно также выполнить некоторые действия, доступные в Simulink Test с другими продуктами, несмотря на то, что эти опции имеют более ограниченную функциональность. Например, можно создать тестовую обвязку с slvnvmakeharness (Simulink Coverage) функция. Если вы только интересуетесь симуляцией выходные параметры, можно запустить входные сигналы теста путем создания Simulink.SimulationInput возразите и запускающий несколько симуляций. Для получения дополнительной информации смотрите Выполнение Нескольких Симуляций.

Похожие темы