Укажите параметры, управляющие тем, как Simulink ® Design Verifier™ проверяет свойства анализируемых моделей.
Укажите, включены или отключены блоки утверждения в модели.
По умолчанию: Use local settings
Use local settingsВключает или отключает блоки Assertion на основе значения параметра Enable каждого блока. Если выбран параметр Enable блока, блок активируется; в противном случае блок отключается.
Enable allВключает все блоки Assertion в модели независимо от настроек их параметров Enable.
Disable allОтключает все блоки Assertion в модели независимо от настроек их параметров Enable.
Параметр: DVAssertions |
| Тип: символьный массив |
Значение: 'UseLocalSettings' | 'EnableAll' | 'DisableAll' |
По умолчанию: 'UseLocalSettings' |
Укажите, включены или отключены блоки Proof Ulsumption в модели.
По умолчанию: Use local settings
Use local settingsВключение или отключение блоков Proof Absulation на основе значения параметра Enable каждого блока. Если выбран параметр Enable блока, блок активируется; в противном случае блок отключается.
Enable allВключение всех блоков допущения Proof в модели независимо от настроек их параметров Enable.
Disable allОтключает все блоки Proof Absulation в модели независимо от настроек их параметров Enable.
Параметр: DVProofAssumptions |
| Тип: символьный массив |
Значение: 'UseLocalSettings' | 'EnableAll' | 'DisableAll' |
По умолчанию: 'UseLocalSettings' |
Укажите стратегию, используемую Simulink Design Verifier при проверке свойств.
По умолчанию: Prove
ProveВыполняет проверки свойств.
FindViolationПоиск только нарушений свойств в пределах числа шагов моделирования, заданного параметром Максимум шагов нарушения.
ProveWithViolationDetectionИщет как нарушения собственности, так и пытается доказать свойства, по которым не удалось обнаружить нарушение. Эта стратегия является относительно оптимальным балансом между ProveWithViolationDetection и FindViolation стратегии.
Выбор FindViolation или ProveWithViolationDetection включает параметр Maximum violation steps.
Параметр: DVProvingStrategy |
| Тип: символьный массив |
Значение: 'Prove' | 'FindViolation' | 'ProveWithViolationDetection' |
По умолчанию: 'Prove' |
Укажите максимальное количество шагов моделирования, по которым Simulink Design Verifier выполняет поиск нарушений свойств.
По умолчанию: 20
Программа Simulink Design Verifier не выполняет поиск сверх указанного максимального количества шагов моделирования. Поэтому он не может идентифицировать нарушения, которые могут произойти позже при моделировании.
Этот параметр включается при установке для параметра Стратегия значения FindViolation или ProveWithViolationDetection.
Параметр: DVMaxViolationSteps |
Тип: int32 |
| Значение: любое допустимое значение |
По умолчанию: 20 |