При наличии большой модели можно доказать свойства подсистемы в модели и просмотреть анализ в небольших управляемых отчетах. Процесс проверки свойств в подсистеме:
Откройте модель, содержащую подсистему.
Сделайте подсистему атомной.
Запустите Simulink ® Design Verifier™ с помощью опции «Доказать свойства подсистемы».
Просмотрите результаты.
В учебном пособии Generate Test Cases for a Subsystem объясняется, как создавать тестовые примеры для подсистемы Controller в модели Cruise Control Test Generation. Шаги для проверки свойств аналогичны шагам для генерации тестовых примеров, за исключением того, что вы выбираете опцию «Доказать свойства подсистемы» вместо опции «Создать тесты для подсистемы».