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