Модель Analyze
status = sldvrun
status = sldvrun(model)
status = sldvrun(subsystem)
status = sldvrun(model, options)
[status, filenames]
= sldvrun(model, options)
[status, filenames]
= sldvrun(model, options, showUI, startCov)
анализирует текущую модель, чтобы сгенерировать тесты, которые предоставляют страховую защиту модели или доказывают образцовые свойства.status
= sldvrun
Запускать анализ Simulink Design Verifier, в окне Model Editor, избранном одном из следующего:
Analysis> Design Verifier> Detect Design Errors
Analysis> Design Verifier> Generate Tests
Analysis> Design Verifier> Prove Properties