Программа Simulink ® Design Verifier™ может рассматривать параметры модели как переменные во время анализа. Например, предположим, что переменная, определенная в рабочей области MATLAB ®, является значением параметра блока в модели. Можно поручить Simulink Design Verifier использовать дополнительные значения для этого параметра при анализе.
Это позволяет, например:
Расширьте результаты обнаружения ошибок конструкции или проверки свойств, чтобы учесть влияние дополнительных значений параметров.
Создание комплексных тестовых примеров для ситуаций, в которых значения параметров должны изменяться для достижения более полных результатов покрытия. Дополнительные сведения см. в разделе Определение значений ограничений параметров для полного покрытия.
Если наложить ограничение на параметр в модели, во время анализа этот параметр принимает только заданное значение или значения ограничения. Группа ограничений для параметров в той же модели также называется конфигурацией параметров.
Таблица параметров (Parameter Table) используется для управления ограничениями параметров модели для анализа. В таблице параметров можно выполнить следующие действия.
Автогенерация диапазонов значений для параметров в модели. См. раздел Автоматическое генерация ограничения параметров.
Введите собственные диапазоны значений параметров в модели. См. раздел Определение значений ограничений для параметров.
Выделите в модели объекты с параметрами, настроенными для работы в качестве переменных во время анализа. См. раздел Выделение ограниченных параметров в модели.
Импорт и экспорт конфигураций параметров из файлов кода MATLAB. См. раздел Сохранение ограничений параметров в файлах кода MATLAB.
При ограничении значений параметров необходимо учитывать следующие проблемы, связанные с типами данных:
Параметры, определенные как Simulink.Parameter и ссылки на несколько расположений
Не поддерживается настройка массива типов данных структуры или шины
Если модель ссылается на базовый параметр рабочей области, тип данных которого auto, single, или double, и модель преобразует этот параметр в тип данных с фиксированной точкой, необходимо определить ограничения для этого параметра в соответствии с его типом с фиксированной точкой.
Simulink.Parameter и ссылки на несколько расположенийДля параметра, определенного как Simulink.Parameter или унаследованный класс Simulink.Parameter чей тип данных - auto, если на параметр ссылается несколько расположений с различными типами данных, Simulink Design Verifier не может генерировать значения для этого параметра во время анализа.
Если тип данных параметра в рабочей области MATLAB сложен, Simulink Design Verifier не поддерживает генерацию значений для этого параметра во время анализа.
Simulink Design Verifier не поддерживает настройку массива типов данных структуры или шины во время анализа.
Параметры могут использоваться для выбора вариантов в блоках подсистемы вариантов. Эти параметры перечислены в таблице параметров. Однако Simulink Design Verifier поддерживает только анализ активного варианта.