Можно установить опции для анализа Simulink® Design Verifier™ в диалоговом окне Configuration Parameters. Чтобы просмотреть опции, откройте вкладку Design Verifier. В разделе Prepare, в выпадающем меню для настроек режима, нажимают Settings. Панель Design Verifier параметров конфигурации модели открывается.
По умолчанию опции для Simulink Design Verifier не появляются в диалоговом окне Configuration Parameters. Когда вы открываете вкладку 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
функции, чтобы получить и задать значения для этих параметров программно.
Для каждого параметра Столбец расположения указывает, где можно установить его значение в диалоговом окне Configuration Parameters. Столбец Значений показывает тип требуемого значения, возможные значения (разделенный вертикальной линией), и значение по умолчанию (заключенный в фигурные скобки).
Параметр | Местоположение | Значения |
---|---|---|
| Установите параметром Floating point absolute tolerance на Design Verifier> панель Test Generation. | двойной |
| Установите параметром Assertion blocks на Design Verifier> панель Property Proving. |
|
| Установите параметром Automatic stubbing of unsupported blocks and functions на панели Design Verifier . |
|
| Установите параметром Apply block replacements на Design Verifier> панель Block Replacements. |
|
| Установите параметром File path of the output model на Design Verifier> панель Block Replacements. | символьный массив |
| Установите параметром List of block replacement rules на Design Verifier> панель Block Replacements. | символьный массив |
| Установите параметром Additional options for code analysis на панели Design Verifier. |
|
| Установите параметром Coverage data file на Design Verifier> панель Test Generation. |
|
| Установите параметром Ignore objectives based on filter на панели Design Verifier. |
|
| Установите параметром Filter file на панели Design Verifier. |
|
| Установите параметром Data file name на Design Verifier> панель Results. | символьный массив |
| Установите параметром Specified minimum and maximum value violations на Design Verifier> панель Design Error Detection. |
|
| Установите параметром Use specified input minimum and maximum values на панели Design Verifier. |
|
| Установите Identify active logic на Design Verifier> панель Design Error Detection. |
|
| Установите Specified block input range violations на Design Verifier> панель Design Error Detection. |
|
| Установите Dead logic на Design Verifier> панель Design Error Detection. |
|
| Установите параметром Division by zero на Design Verifier> панель Design Error Detection. |
|
| Установите параметром Data store access violations на Design Verifier> панель Design Error Detection. |
|
| Установите параметром Non-finite and NaN floating-point values на Design Verifier> панель Design Error Detection. |
|
| Установите параметром Integer overflow на Design Verifier> панель Design Error Detection. |
|
| Установите параметром Out of bound array access на Design Verifier> панель Design Error Detection. |
|
| Установите параметром Subnormal floating-point values на Design Verifier> панель Design Error Detection. |
|
| Установите параметром Display report на Design Verifier> панель Report. |
|
| Установите параметром Display unsatisfiable test objectives на панели Design Verifier. |
|
| Установите параметром Extend existing test cases на Design Verifier> панель Test Generation. |
|
| Установите параметром Data file на Design Verifier> панель Test Generation. |
|
| Установите параметром Harness model file name на Design Verifier> панель Results. | символьный массив |
| Установите параметром Harness source на Design Verifier> панель Results. |
|
| Установите параметром Ignore objectives satisfied in existing coverage data на Design Verifier> панель Test Generation. |
|
| Установите параметром Ignore objectives satisfied by existing test cases на Design Verifier> панель Test Generation. |
|
| Установите параметром Include relational boundary objectives на Design Verifier> панель Test Generation. |
|
| Установите флажком Make output file names unique by adding a suffix на панели Design Verifier. |
|
| Установите параметром 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 objectives на Design Verifier> панель Test Generation. |
|
| Установите параметром Reference input model in generated harness на Design Verifier> панель Results диалогового окна Configuration Parameters. |
|
| Установите Output folder на панели Design Verifier. | символьный массив |
| Установите столбцом Constraint в Таблице параметров на Design Verifier> панель Parameters. | двойной массив |
| Установите столбцом Name в Таблице параметров на Design Verifier> панель Parameters. | двойной массив |
| Установите столбцом Use в Таблице параметров на Design Verifier> панель Parameters. |
|
| Установите Enable parameter configuration на Design Verifier> панель Parameters. |
|
| Установите Parameter configuration file на Design Verifier> панель Parameters. Этот параметр отключен когда | символьный массив |
| Установите Use parameter table на Design Verifier> панель Parameters. Когда установлено в |
|
| Установите параметром Proof assumptions на Design Verifier> панель Property Proving. |
|
| Установите параметром Strategy на Design Verifier> панель Property Proving. |
|
| Установите параметром Randomize data that do not affect the outcome на Design Verifier> панель Results. |
|
| Установите параметром Rebuild model representation на панели Design Verifier. |
|
| Установите параметром Run additional analysis to reduce instances of rational approximation на панели Design Verifier. |
|
| Установите параметром Floating point relative tolerance на Design Verifier> панель Test Generation. | двойной |
| Установите параметром Report file name на Design Verifier> панель Report. | символьный массив |
| Установите параметром Include screen shots of properties на Design Verifier> панель Report. |
|
| Установите параметром Generate additional report in PDF format на Design Verifier> панель Report. |
|
| Установите параметром Save test data to file на Design Verifier> панель Results. |
|
| Установите параметром Include expected output values на Design Verifier> панель Results. |
|
| Установите параметром Generate separate harness model after analysis на Design Verifier> панель Results. |
|
| Установите параметром Generate report of the results на Design Verifier> панель Report. |
|
| Установите параметром Support S-Functions in the analysis на панели Design Verifier. |
|
| Установите параметром Test Harness Name на Design Verifier> панель Results. | символьный массив |
| Установите параметром Test File Name на Design Verifier> панель Results. | символьный массив |
| Установите параметром Use strict propagation conditions на Design Verifier> панель Test Generation. |
|
| Установите параметром Test conditions на Design Verifier> панель Test Generation. |
|
| Установите параметром Test generation target на Design Verifier> панель Test Generation. |
|
| Установите параметром Test objectives на Design Verifier> панель Test Generation. |
|
| Установите параметром Test suite optimization на Design Verifier> панель Test Generation. Если вы анализируете свою модель при помощи |
|
| Установите параметром Validate test cases or counterexamples with parallel computing на панели Design Verifier. |
|