Задайте опции, которые управляют, как Simulink® Design Verifier™ использует настройки параметра при анализе моделей.
Задайте, использует ли программное обеспечение настройки параметра при анализе модели. Выберите эту опцию, чтобы обработать параметры как переменные в анализе Simulink Design Verifier.
Задавать диапазоны значений или ограничения для параметров:
Используйте конфигурационный файл параметра. Введите имя файла в Parameter configuration file.
Используйте таблицу параметров. Выберите Use parameter table.
Значение по умолчанию: 'off'
НаПрограммное обеспечение Simulink Design Verifier использует заданные настройки параметра при анализе модели.
'off'Программное обеспечение Simulink Design Verifier не использует настройки параметра при анализе модели.
Когда вы конфигурируете Simulink Design Verifier, чтобы обработать параметры как переменные в его анализе, вы не можете также использовать анализ, чтобы расширить существующие тесты. В Analysis> Design Verifier> Options, если вы задаете свою модель, чтобы расширить существующие тесты с Data file и применить настройки параметра с Parameter configuration file или Таблицей параметров, когда вы пытаетесь выполнить анализ Simulink Design Verifier, программное обеспечение сообщает, что ваша модель несовместима. Это происходит, потому что существующие тесты не включают соответствующие значения параметров.
Этот параметр включает Parameter configuration file.
Параметр: DVParameters |
| Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'off' |
Позвольте Таблице параметров задать диапазоны значений или ограничения для параметров.
Значение по умолчанию: 'off'
НаИспользуйте Таблицу параметров, чтобы задать параметры как переменные для анализа Simulink Design Verifier.
'off'Не используйте Таблицу параметров, чтобы задать параметры как переменные для анализа Simulink Design Verifier.
Когда вы конфигурируете Simulink Design Verifier, чтобы обработать параметры как переменные в его анализе, вы не можете также использовать анализ, чтобы расширить существующие тесты. В Analysis> Design Verifier> Options, если вы задаете свою модель, чтобы расширить существующие тесты с Data file и применить настройки параметра с Parameter configuration file или Таблицей параметров, когда вы пытаетесь выполнить анализ Simulink Design Verifier, программное обеспечение сообщает, что ваша модель несовместима. Это происходит, потому что существующие тесты не включают соответствующие значения параметров.
Когда Enable parameter configuration также выбран, этот параметр включает Таблицу параметров.
Этот параметр отключает Parameter configuration file.
Параметр: DVParametersUseConfig |
| Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'off' |
Задайте функцию MATLAB®, которая задает настройки параметра для модели.
Значение по умолчанию: sldv_params_template.m
Файл по умолчанию, sldv_params_template.m, является шаблоном, который можно отредактировать и сохранить. Комментарии в шаблоне объясняют синтаксис, который вы используете, чтобы задать настройки параметра.
Нажмите кнопку Browse, чтобы выбрать существующий файл MATLAB.
Нажмите кнопку Edit, чтобы открыть заданный файл MATLAB в редакторе.
Когда вы конфигурируете Simulink Design Verifier, чтобы обработать параметры как переменные в его анализе, вы не можете также использовать анализ, чтобы расширить существующие тесты. В Analysis> Design Verifier> Options, если вы задаете свою модель, чтобы расширить существующие тесты с Data file и применить настройки параметра с Parameter configuration file или Таблицей параметров, когда вы пытаетесь выполнить анализ Simulink Design Verifier, программное обеспечение сообщает, что ваша модель несовместима. Это происходит, потому что существующие тесты не включают соответствующие значения параметров.
Этот параметр включен Enable parameter configuration. Этот параметр отключен Use parameter table.
Параметр: DVParametersConfigFileName |
| Ввод: массив символов |
| Значение: любой допустимый файл MATLAB |
Значение по умолчанию: 'sldv_params_template.m' |
Просмотрите к конфигурационному файлу параметра.
Эта кнопка включена Enable parameter configuration. Эта кнопка отключена Use parameter table.
Отредактируйте текущий конфигурационный файл параметра.
Эта кнопка включена Enable parameter configuration. Эта кнопка отключена Use parameter table.
Когда Enable parameter configuration и Use parameter table выбраны, эта кнопка включена.
Когда Enable parameter configuration и Use parameter table выбраны, эта кнопка включена.
Когда Enable parameter configuration и Use parameter table выбраны, эта кнопка включена.
Когда Enable parameter configuration и Use parameter table выбраны, эта кнопка включена.
В Таблице параметров каждая строка представляет параметр, который может быть ограничен к заданным значениям во время анализа Simulink Design Verifier.
Столбец Use задает, использовать ли именованный параметр этих строк и заданное ограничение в текущей настройке параметра.
Значение по умолчанию: 'off'
НаИспользуйте этот параметр и его заданное ограничение в текущей настройке параметра.
'off'Не используйте этот параметр и его заданное ограничение в текущей настройке параметра.
Когда Enable parameter configuration и Use parameter table выбраны, этот столбец включен.
В Таблице параметров каждая строка представляет параметр, который может быть ограничен к заданным значениям во время анализа Simulink Design Verifier.
Отображения столбца Name имя параметра.
Значение по умолчанию: пустой
Чтобы загрузить параметры модели в Таблицу параметров, в нижней части таблицы, нажимают Find in Model. Когда возможно, программное обеспечение автоматически генерирует ограничительные значения для каждого параметра.
Когда Enable parameter configuration и Use parameter table выбраны, этот столбец включен.
В Таблице параметров каждая строка представляет параметр, который может быть ограничен к заданным значениям во время анализа Simulink Design Verifier.
Столбец Constraint содержит область значений заданного значения для параметра.
Значение по умолчанию: пустой
Чтобы автоматически сгенерировать ограничения параметра, в нижней части Таблицы параметров, нажимают Find in Model.
Когда Enable parameter configuration и Use parameter table выбраны, этот столбец включен.
В Таблице параметров каждая строка представляет параметр, который может быть ограничен к заданным значениям во время анализа Simulink Design Verifier.
Столбец Value содержит значение параметра в базовом рабочем пространстве. Если параметр задан в словаре данных Simulink, который соединяется с моделью, столбец Value содержит значение параметра в словаре данных.
Значение по умолчанию: пустой
Когда Enable parameter configuration и Use parameter table выбраны, этот столбец включен.
В Таблице параметров каждая строка представляет параметр, который может быть ограничен к заданным значениям во время анализа Simulink Design Verifier.
Для параметров типа Simulink.Parameter с заданным минимальным значением столбец Min содержит заданное минимальное значение для параметра.
Значение по умолчанию: пустой
Когда Enable parameter configuration и Use parameter table выбраны, этот столбец включен.
В Таблице параметров каждая строка представляет параметр, который может быть ограничен к заданным значениям во время анализа Simulink Design Verifier.
Для параметров типа Simulink.Parameter с заданным максимальным значением столбец Max содержит заданное максимальное значение для параметра.
Значение по умолчанию: пустой
Когда Enable parameter configuration и Use parameter table выбраны, этот столбец включен.
В Таблице параметров каждая строка представляет параметр, который может быть ограничен к заданным значениям во время анализа Simulink Design Verifier.
Отображения столбца Model Element путь к элементам модели, где параметр используется.
Значение по умолчанию: пустой
Когда Enable parameter configuration и Use parameter table выбраны, этот столбец включен.
Программное обеспечение ищет вашу модель параметры, что вы можете сконфигурировать и загружаете их в Parameter Table. Если ваша модель использует ссылку настройки, Simulink Design Verifier не поддерживает поиск параметров при использовании кнопки Find in Model. Для получения дополнительной информации займитесь Ссылками Настройки (Simulink).
Когда Enable parameter configuration и Use parameter table выбраны, эта кнопка включена.
Добавляют параметры к Parameter Table из списка, сохраненного в файле.
Когда Enable parameter configuration и Use parameter table выбраны, эта кнопка включена.
Экспортирует текущие параметры в Parameter Table к файлу.
Когда Enable parameter configuration и Use parameter table выбраны, эта кнопка включена.
