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