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