Можно изолировать логику верификации в модели при помощи блоков Observer Reference. Используйте блоки Observer Reference, когда это необходимо, чтобы разделить логику верификации от вашей модели проекта. Когда вы используете Observer Reference (Simulink Test), можно внести изменения в модель The Observer, не изменяя модель проекта. Используя Observer Reference блоки могут помочь вам задать свойства или требования рано в проекте модели или через проекты многоуровневой модели. Блок Observer Reference также позволяет вам:
Конструктивные требования модели как свойства и доказывают их использующий Simulink® Design Verifier™.
Установите базовые результаты на основе полученного выхода и обнаружьте регрессии модели.
Сгенерируйте тесты для требований функционального проекта с помощью пользовательских целей тестирования.
Дважды кликните блок Observer Reference, чтобы открыть модель The Observer. блоки Observer Reference могут только быть в верхнем уровне системной модели и не имеют входных портов. Для получения дополнительной информации смотрите доступ к Данным модели С помощью беспроводных технологий при помощи Наблюдателей (Simulink Test).
При авторской разработке пользовательских целей верификации блок Observer Reference может использоваться вместо блока Verification Subsystem. Блок Observer Reference ссылается на отдельную модель верификации под названием модель The Observer, которую вы используете, чтобы проверить вашу системную модель. Преобразование блока Verification Subsystem с блоком Observer Reference может устранить помехи системную модель. Чтобы преобразовать блок Verification Subsystem в блок Observer Reference, щелкните правой кнопкой по подсистеме верификации и выберите Observers> Move выбранный блок Наблюдателю> Новый Наблюдатель. Эта операция не может быть отменена. Это действие добавляет блок Observer Reference в вашу системную модель и открывает модель The Observer. Необходимо сохранить модель The Observer в перезаписываемой папке на MATLAB® path.
Рассмотрите случай где модель sldvdemo_debounce_validprop содержит блок Verification Subsystem Verify Output.
Путем преобразования подсистемы в блок Observer Reference вы удаляете сигналы что подсистема подключения к системной модели при сохранении способности протестировать целостность системы.
Два сигнала, debounce и raw, автоматически сопоставлены с двумя блоками Observer Port в модели The Observer, sldvdemo_debounce_validprop_Observer1.
Можно проверить свойства sldvdemo_debounce_validprop не внося изменений в модель проекта.
Если ваша модель включает блок Observer Reference, аналитический отчет Simulink Design Verifier показывает доказательство свойства, генерацию теста, и информацию об ошибке проектирования для блоков Ссылки The Observer в подразделе Observer Model(s) и информацию о модели проекта в подразделе Design Model. Для получения дополнительной информации см. Отчеты Simulink Design Verifier.
Simulink Design Verifier не поддерживает:
Модели наблюдателя, которые включают блоки Model
Применение замены блока управляет к моделям Observer
Модели наблюдателя, которые запускаются в различной базовой ставке, чем модель проекта
Настройка параметров в модели Observer
Генерация тестов для кода сгенерирована Embedded Coder® для моделей, которые содержат блоки Observer Reference
Модель Observer, которая использует настройки решателя переменного шага, чтобы выполнить анализ
Примечание
Если модель Observer включает какое-либо из ограничений в этом списке, программное обеспечение игнорирует соответствующий блок Observer Reference во время анализа.
Анализ Simulink Design Verifier возвращает ошибку когда вы:
Анализируйте автономные модели Observer
Выполните экстракцию подсистемы на блоке Observer Reference
Порт наблюдателя (Simulink Test) | ссылка наблюдателя (Simulink Test) | Используйте блоки ссылки наблюдателя для анализа доказательства свойства | Используйте блок ссылки наблюдателя для генерации теста
