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