Изолированная логика верификации с наблюдателями
Можно изолировать логику верификации в модели при помощи блоков 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
При авторской разработке пользовательских целей верификации блок 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®.
Рассмотрите случай где модель 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 не поддерживает:
Блоки Observer Reference, которые наблюдают комплексные сигналы, соединяют шиной сигналы или данные Stateflow.
Модели наблюдателя, которые включают блоки Model Referenced.
Применение замены блока управляет к моделям Observer
Модель Observer, которая запускается в различной базовой ставке, чем модель проекта.
Настройка параметров в модели Observer.
Отладка нарушений свойства в Ноже Модели использования модели Observer.
Генерация тестов для кода, сгенерированного Embedded Coder® для моделей, которые содержат блоки Observer Reference.
Simulink Design Verifier не анализирует логику в моделях Observer для ошибки проектирования и анализа обнаружения мертвой логики.
Анализ Simulink Design Verifier возвращает ошибку когда:
Вы анализируете автономных Наблюдателей.
Вы выполняете экстракцию подсистемы на блоке Observer Reference.
Модель The Observer использует настройки решателя переменного шага.
Смотрите также
Используйте блок ссылки наблюдателя для генерации теста | Используйте блоки ссылки наблюдателя для анализа доказательства свойства | Порт наблюдателя (Simulink Test) | ссылка наблюдателя (Simulink Test)