Анализируйте модель
анализирует текущую модель, чтобы сгенерировать тесты, которые обеспечивают покрытие модели или доказывают свойства модели.status
= sldvrun
Чтобы запустить анализ с помощью Simulink Design Verifier, на вкладке Design Verifier, в разделе Mode, выберите любую из следующих опций:
Выберите Design Error Detection, затем нажмите Detect Design Errors.
Выберите Test Generation, затем нажмите Generate Tests.
Выберите Property Proving, затем нажмите Prove Properties.