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