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