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