Некоторые характеристики моделей Simulink® могут вызвать проблемы во время анализа Simulink Design Verifier™ следующими способами:
Сложность входных параметров модели из-за:
Большое количество входных параметров (Количество входных параметров может варьироваться, в зависимости от отдельной модели.)
Типы входных параметров (значения с плавающей точкой, например)
Путем входные параметры влияют на состояние модели и цели анализа
Количество возможных путей к симуляции через модель
Фрагменты модели, которая не может быть достигнута
Большие счетчики в модели
Темы в Сокращении Сложности описывают методы, спроектированные, чтобы уменьшать удар этой сложности и достигнуть лучшей эффективности из Simulink Design Verifier.
Большинство этих методов фокусируется на генерации тестов для больших моделей. Однако можно использовать многих из них, чтобы обнаружить ошибки проектирования или доказать свойства большой модели и сгенерировать контрпримеры, когда свойство опровергнуто. Кроме того, Prove Properties в Больших моделях описывает определенные методики для доказательства свойств в большой модели.