Постоянные конструктивные переменные (переменные, которые назначаются за один временной шаг и используются на более позднем временном шаге во время моделирования) влияют на сложность анализа так же, как и сложность ввода. Для упрощения сложности искомого пространства состояний можно использовать один или несколько из следующих методов:
Наложение ограничений на задержанные входные сигналы.
Ограничьте входные данные состояниями, содержащимися в условно выполненных подсистемах.
Ограничьте число шагов тестового случая, установив для параметра Maximum test case step значение 20.
Увеличение времени выборки для части или всей модели. (Эта процедура аналогична уменьшению пороговых значений таймера, как описано в разделе Счетчики и таймеры.) Тест, генерируемый с более низкой частотой выборки, часто имеет сходство с тестом с высокой частотой выборки, необходимой для достижения цели.
Используйте жесткие типы переменных, где это возможно. Например, если флаг со значениями только 0 или 1 определен как double, ограничить тип до Boolean.
Состояния, вычисленные на основе значений предыдущего состояния, представляют собой особую проблему. Например, если требуется ограничить значение интегратора в контроллере PID, можно использовать только набор значений, включающий все достижимые значения из начального значения. В противном случае необходимо принудительно ввести 0. Ни одно из этих ограничений не является практичным и, вероятно, сделает анализ менее полным.
Кроме того, можно использовать существующие данные моделирования для удовлетворения потребностей тестирования. Если имеются тестовые данные, выполните их в модели и соберите охват модели. Пример расширения существующего набора тестов для достижения отсутствующего покрытия модели см. в разделе Расширение существующего набора тестов.