Параметры анализа Simulink ® Design Verifier™ можно задать в диалоговом окне Параметры конфигурации (Configuration Parameters). Чтобы просмотреть параметры, откройте вкладку Design Verifier. В разделе Подготовка в раскрывающемся меню параметров режима выберите Параметры. Откроется панель Проверка конструкции (Design Verifier) параметров конфигурации модели.
По умолчанию параметры Simulink Design Verifier не отображаются в диалоговом окне «Параметры конфигурации». При открытии вкладки Проверка конструкции (Design Verifier) программа Simulink Design Verifier связывает свои опции по умолчанию с моделью. После сохранения модели можно получить доступ к опциям программы Simulink Design Verifier непосредственно в диалоговом окне Параметры конфигурации (Configuration Parameters).
Дополнительные сведения о работе с этим интерфейсом см. в разделе Установка параметров конфигурации модели для модели.
Вы можете использовать sldvoptions для задания параметров Simulink Design Verifier в командной строке.
Чтобы просмотреть в командном окне MATLAB ® опции проверки конструкции, связанные с моделью Simulink, используйте следующий синтаксис:
opts = sldvoptions('model_name');
get(opts)Используйте следующие параметры для настройки поведения Simulink Design Verifier. Используйте get_param и set_param для извлечения и определения значений этих параметров программным путем.
Для каждого параметра в столбце Расположение (Location) указывается, где можно задать его значение в диалоговом окне Параметры конфигурации (Configuration Parameters). В столбце «Значения» отображается тип требуемого значения, возможные значения (разделенные вертикальной линией) и значение по умолчанию (заключенное в фигурные скобки).
Параметр | Местоположение | Ценности |
|---|---|---|
| Задается параметром абсолютного допуска с плавающей запятой на панели Design Verifier > Test Generation. | дважды |
| Задается параметром Блоки утверждения (Assertion blocks) на панели Проверка проекта (Design Verifier) > Проверка свойств (Property Proving). |
|
| Задается параметром «Автоматическое блокирование неподдерживаемых блоков и функций» на панели «Проверка проекта». |
|
| Задается параметром «Применить замены блоков» на панели «Проверка проекта» > «Замены блоков». |
|
| Задается путем к файлу параметра выходной модели на панели Design Verifier > Block Replacements. | символьный массив |
| Задается параметром List of block replacement rules на панели Design Verifier > Block Replacements. | символьный массив |
| Задайте с помощью параметра Дополнительные параметры для анализа кода на панели Design Verifier. | символьный массив |
| Задается параметром Файл данных покрытия на панели Design Verifier > Test Generation. | символьный массив |
| Задается параметром Ignore targets на основе параметра фильтра на панели Design Verifier. |
|
| Задается параметром Filter file на панели Design Verifier. | символьный массив |
| Задается параметром Имя файла данных (Data file name) на панели Проверка проекта (Design Verifier) > Результаты (Results). | символьный массив |
| Задается параметром Указанные нарушения минимального и максимального значений (Specified minimum and maximum value violations) на панели Проверка конструкции (Design Verifier) > Обнаружение ошибок конструкции (Design Error Detection |
|
| Задается параметром Использовать указанные входные значения минимума и максимума на панели Design Verifier. |
|
| Задать с помощью команды Определить активную логику (Identify active logic) на панели Проверка конструкции (Design Verifier) > Обнаружение ошибок конструкции (Design Error Detection) |
|
| Задать по указанным нарушениям диапазона ввода блока на панели Design Verifier > Design Error Detection. |
|
| Заданная неработающей логикой (частичная) на панели Design Verifier > Design Error Detection. |
|
| Задается параметром «Деление на ноль» на панели «Design Verifier > Design Error Detection». |
|
| Задается параметром Нарушения доступа к хранилищу данных на панели Design Verifier > Design Error Detection. |
|
| Задается параметрами Non-finite и NaN с плавающей точкой на панели Design Verifier > Design Error Detection. |
|
| Задается параметром Integer overflow на панели Design Verifier > Design Error Detection. |
|
| Задается параметром доступа Out of bound array на панели Design Verifier > Design Error Detection. |
|
| Задается параметром Субнормальные значения с плавающей запятой на панели Design Verifier > Design Error Detection. |
|
| Задается параметром Показать отчет (Display report) на панели Проверка проекта (Design Verifier) > Отчет (Report). |
|
| Задается параметром Extend existing test cases на панели Design Verifier > Test Generation. |
|
| Задается параметром Data file на панели Design Verifier > Test Generation. | символьный массив |
| Задается параметром Имя файла модели кабелей (Harness model file name) на панели Проверка конструкции (Design Verifier) > Результаты (Results). | символьный массив |
| Задается параметром источника кабелей на панели «Проверка проекта» > «Результаты». |
|
| Задается параметром Игнорировать цели, удовлетворяющие существующим данным покрытия на панели Design Verifier > Test Generation. |
|
| Задается параметром Игнорировать цели, удовлетворяющие существующим тестовым сценариям, на панели Design Verifier > Test Generation. |
|
| Задается параметром Include relational boundary targets на панели Design Verifier > Test Generation. |
|
| Установите флажок «Сделать имена выходных файлов уникальными», добавив суффикс на панели «Проверка проекта». |
|
| Задается параметром Максимальное время анализа (Maximum analysis time) на панели Проверка конструкции (Design Verifier). | дважды |
| Задается параметром Maximum test case steps на панели Design Verifier > Test Generation. | int32 |
| Задается параметром Maximum violation steps на панели Design Verifier > Property Proving. | int32 |
| Задается параметром Mode на панели Design Verifier. |
|
| Задается параметром Model coverage targets на панели Design Verifier > Test Generation. |
|
| Задается ссылочной входной моделью в сгенерированном параметре электрического жгута на панели «Проверка конструкции» > «Результаты» диалогового окна «Параметры конфигурации». |
|
| Задается папкой Output на панели Design Verifier. | символьный массив |
| Установите по столбцу Ограничение (Constraint) в таблице параметров на панели Проверка конструкции (Design Verifier) > Параметры (Parameters). | двойной массив |
| Задайте по имени столбец в таблице параметров на панели «Проверка проекта» > «Параметры». | двойной массив |
| Задать по столбцу Использовать (Use) в таблице параметров на панели Проверка проекта (Design Verifier) > Параметры (Parameters). | массив ячеек |
| Задайте с помощью команды Включить конфигурацию параметров на панели Design Verifier > Parameters. |
|
| Задать по файлу конфигурации параметров на панели Проверка проекта (Design Verifier) > Параметры (Parameters). Этот параметр отключен, когда | символьный массив |
| Задать с помощью таблицы Использовать параметры (Use parameter) на панели Проверка проекта (Design Verifier) > Параметры (Parameters). Если установлено значение |
|
| Задается параметром Proof presputations на панели Design Verifier > Property Proving. |
|
| Задается параметром Strategy на панели Design Verifier > Property Proving. |
|
| Задается с помощью случайных данных, которые не влияют на параметр результата на панели «Проверка проекта» > «Результаты». |
|
| Задается параметром Перестроить представление модели (Rebuild model representation) на панели Проверка конструкции (Design Verifier). |
|
| Задайте с помощью дополнительного анализа Выполнить (Run), чтобы уменьшить экземпляры параметра рационального приближения на панели Проверка конструкции (Design Verifier). |
|
| Задается параметром относительного допуска с плавающей запятой на панели Design Verifier > Test Generation. | дважды |
| Задается параметром Имя файла отчета (Report file name) на панели Проверка проекта (Design Verifier) > Отчет (Report). | символьный массив |
| Задается параметром Include screen shots of properties на панели Design Verifier > Report. |
|
| Задается параметром «Создать дополнительный отчет в формате PDF» на панели «Проверка проекта» > «Отчет». |
|
| Задается параметром Включить ожидаемые выходные значения на панели Design Verifier > Results. |
|
| Задается параметром «Создать отдельную модель электрического жгута после анализа» на панели «Проверка конструкции» > «Результаты». |
|
| Задается параметром Создать отчет о результатах (Generate report of the results) на панели Проверка проекта (Design Verifier) > Отчет (Report). |
|
| Задается S-функциями поддержки в параметре анализа на панели Design Verifier. |
|
| Задается параметром «Имя тестового кабеля» на панели «Проверка проекта» > «Результаты». | символьный массив |
| Задается параметром Test File Name на панели Design Verifier > Results. | символьный массив |
| Задается параметром Использовать строгие условия распространения на панели Design Verifier > Test Generation. |
|
| Задается параметром Test conditions на панели Design Verifier > Test Generation. |
|
| Задается параметром Test generation target на панели Design Verifier > Test Generation. |
|
| Задается параметром Цели тестирования на панели Design Verifier > Test Generation. |
|
| Задается параметром Оптимизация набора тестов на панели Проверка проекта (Design Verifier) > Генерация тестов (Test Generation). При анализе модели с помощью |
|
| Задается тестовыми случаями или контрпримерами с параметром параллельных вычислений на панели Design Verifier. |
|