Опции Simulink Design Verifier

Опции в диалоговом окне параметров конфигурации

Можно установить опции для анализа 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. Столбец Значений показывает тип требуемого значения, возможные значения (разделенный вертикальной линией), и значение по умолчанию (заключенный в фигурные скобки).

Параметр

Местоположение

Значения

DVAbsoluteTolerance

Установите параметром Floating point absolute tolerance на Design Verifier> панель Test Generation.

двойной {'1.0e-05'}

DVAssertions

Установите параметром Assertion blocks на Design Verifier> панель Property Proving.

'EnableAll' | 'DisableAll' | {'UseLocalSettings'}

DVAutomaticStubbing

Установите параметром Automatic stubbing of unsupported blocks and functions на панели Design Verifier .

{'on'} | 'off'

DVBlockReplacement

Установите параметром Apply block replacements на Design Verifier> панель Block Replacements.

'on' | {'off'}

DVBlockReplacementModelFileName

Установите параметром File path of the output model на Design Verifier> панель Block Replacements.

символьный массив {'$ModelName$_replacement'}

DVBlockReplacementRulesList

Установите параметром List of block replacement rules на Design Verifier> панель Block Replacements.

символьный массив {'<FactoryDefaultRules>'}

DVCodeAnalysisExtraOptions

Установите параметром Additional options for code analysis на панели Design Verifier.

массив символов

DVCoverageDataFile

Установите параметром Coverage data file на Design Verifier> панель Test Generation.

массив символов

DVCovFilter

Установите параметром Ignore objectives based on filter на панели Design Verifier.

'on' | {'off'}

DVCovFilterFileName

Установите параметром Filter file на панели Design Verifier.

массив символов

DVDataFileName

Установите параметром Data file name на Design Verifier> панель Results.

символьный массив {'$ModelName$_sldvdata'}

DVDesignMinMaxCheck

Установите параметром Specified minimum and maximum value violations на Design Verifier> панель Design Error Detection.

'on' | {'off'}

DVDesignMinMaxConstraints

Установите параметром Use specified input minimum and maximum values на панели Design Verifier.

{'on'} | 'off'

DVDetectActiveLogic

Установите Identify active logic на Design Verifier> панель Design Error Detection.

'on' | {'off'}

DVDetectBlockInputRangeViolations

Установите Specified block input range violations на Design Verifier> панель Design Error Detection.

'on' | {'off'}

DVDetectDeadLogic

Установите Dead logic на Design Verifier> панель Design Error Detection.

'on' | {'off'}

DVDetectDivisionByZero

Установите параметром Division by zero на Design Verifier> панель Design Error Detection.

{'on'} | 'off'

DVDetectDSMAccessViolations

Установите параметром Data store access violations на Design Verifier> панель Design Error Detection.

'on' | {'off'}

DVDetectInfNaN

Установите параметром Non-finite and NaN floating-point values на Design Verifier> панель Design Error Detection.

'on' | {'off'}

DVDetectIntegerOverflow

Установите параметром Integer overflow на Design Verifier> панель Design Error Detection.

{'on'} | 'off'

DVDetectOutOfBounds

Установите параметром Out of bound array access на Design Verifier> панель Design Error Detection.

{'on'} | 'off'

DVDetectSubnormal

Установите параметром Subnormal floating-point values на Design Verifier> панель Design Error Detection.

'on' | {'off'}

DVDisplayReport

Установите параметром Display report на Design Verifier> панель Report.

{'on'} | 'off'

DVDisplayUnsatisfiableObjectives

Установите параметром Display unsatisfiable test objectives на панели Design Verifier.

'on' | {'off'}

DVExtendExistingTests

Установите параметром Extend existing test cases на Design Verifier> панель Test Generation.

'on' | {'off'}

DVExistingTestFile

Установите параметром Data file на Design Verifier> панель Test Generation.

массив символов

DVHarnessModelFileName

Установите параметром Harness model file name на Design Verifier> панель Results.

символьный массив {'$ModelName$_harness'}

DVHarnessSource

Установите параметром Harness source на Design Verifier> панель Results.

{'Signal Builder'} | 'Signal Editor'

DVIgnoreCovSatisfied

Установите параметром Ignore objectives satisfied in existing coverage data на Design Verifier> панель Test Generation.

'on' | {'off'}

DVIgnoreExistTestSatisfied

Установите параметром Ignore objectives satisfied by existing test cases на Design Verifier> панель Test Generation.

{on'}| 'off'

DVIncludeRelationalBoundary

Установите параметром Include relational boundary objectives на Design Verifier> панель Test Generation.

{'on'} | 'off'

DVMakeOutputFilesUnique

Установите флажком Make output file names unique by adding a suffix на панели Design Verifier.

{'on'} | 'off'

DVMaxProcessTime

Установите параметром Maximum analysis time на панели Design Verifier.

двойной {'300'}

DVMaxTestCaseSteps

Установите параметром Maximum test case steps на Design Verifier> панель Test Generation.

int32 {'10000'}

DVMaxViolationSteps

Установите параметром Maximum violation steps на Design Verifier> панель Property Proving.

int32 {'20'}

DVMode

Установите параметром Mode на панели Design Verifier.

{'TestGeneration'} | 'DesignErrorDetection' | 'PropertyProving'

DVModelCoverageObjectives

Установите параметром Model coverage objectives на Design Verifier> панель Test Generation.

'None' | 'Decision' | {'ConditionDecision'} | 'MCDC' | 'EnhancedMCDC'

DVModelReferenceHarness

Установите параметром Reference input model in generated harness на Design Verifier> панель Results диалогового окна Configuration Parameters.

'on' | {'off'}

DVOutputDir

Установите Output folder на панели Design Verifier.

символьный массив {'sldv_output/$ModelName$'}

DVParameterConstraints

Установите столбцом Constraint в Таблице параметров на Design Verifier> панель Parameters.

двойной массив {[]}

DVParameterNames

Установите столбцом Name в Таблице параметров на Design Verifier> панель Parameters.

двойной массив {[]}

DVParameterUseInAnalysis

Установите столбцом Use в Таблице параметров на Design Verifier> панель Parameters.

cellArray

DVParameters

Установите Enable parameter configuration на Design Verifier> панель Parameters.

'on' | {'off'}

DVParametersConfigFileName

Установите Parameter configuration file на Design Verifier> панель Parameters.

Этот параметр отключен когда DVParametersUseConfig установлен в 'on'.

символьный массив {'sldv_params_template.m'}

DVParametersUseConfig

Установите Use parameter table на Design Verifier> панель Parameters.

Когда установлено в 'on', этот параметр отключает DVParametersConfigFileName.

'on' | {'off'}

DVProofAssumptions

Установите параметром Proof assumptions на Design Verifier> панель Property Proving.

'EnableAll' | 'DisableAll' | {'UseLocalSettings'}

DVProvingStrategy

Установите параметром Strategy на Design Verifier> панель Property Proving.

'FindViolation' | {'Prove'} | 'ProveWithViolationDetection'

DVRandomizeNoEffectData

Установите параметром Randomize data that do not affect the outcome на Design Verifier> панель Results.

'on' | {'off'}

DVRebuildModelRepresentation

Установите параметром Rebuild model representation на панели Design Verifier.

'Always' | {'If change is detected'}

DVReduceRationalApprox

Установите параметром Run additional analysis to reduce instances of rational approximation на панели Design Verifier.

{'on'} | 'off'

DVRelativeTolerance

Установите параметром Floating point relative tolerance на Design Verifier> панель Test Generation.

двойной {'0.01'}

DVReportFileName

Установите параметром Report file name на Design Verifier> панель Report.

символьный массив {'$ModelName$_report'}

DVReportIncludeGraphics

Установите параметром Include screen shots of properties на Design Verifier> панель Report.

'on' | {'off'}

DVReportPDFFormat

Установите параметром Generate additional report in PDF format на Design Verifier> панель Report.

'on' | {off'}

DVSaveDataFile

Установите параметром Save test data to file на Design Verifier> панель Results.

{'on'} | 'off'

DVSaveExpectedOutput

Установите параметром Include expected output values на Design Verifier> панель Results.

'on' | {'off'}

DVSaveHarnessModel

Установите параметром Generate separate harness model after analysis на Design Verifier> панель Results.

'on' | {off'}

DVSaveReport

Установите параметром Generate report of the results на Design Verifier> панель Report.

'on' | {off'}

DVSFcnSupport

Установите параметром Support S-Functions in the analysis на панели Design Verifier.

{'on'} | off'

DVSlTestHarnessName

Установите параметром Test Harness Name на Design Verifier> панель Results.

символьный массив {'$ModelName$_sldvharness'}

DVSlTestFileName

Установите параметром Test File Name на Design Verifier> панель Results.

символьный массив {'$ModelName$_test'}

DVStrictEnhancedMCDC

Установите параметром Use strict propagation conditions на Design Verifier> панель Test Generation.

'on' | {'off'}

DVTestConditions

Установите параметром Test conditions на Design Verifier> панель Test Generation.

'EnableAll' | 'DisableAll' | {'UseLocalSettings'}

DVTestgenTarget

Установите параметром Test generation target на Design Verifier> панель Test Generation.

{'Model'} | 'GenCodeTopModel' | 'GenCodeModelRef'

DVTestObjectives

Установите параметром Test objectives на Design Verifier> панель Test Generation.

'EnableAll' | 'DisableAll' | {'UseLocalSettings'}

DVTestSuiteOptimization

Установите параметром Test suite optimization на Design Verifier> панель Test Generation.

Если вы анализируете свою модель при помощи Legacy LargeModel (Nonlinear Extended), программное обеспечение отображает предупреждающее сообщение, что эта опция была удалена и предлагает, чтобы вы использовали Auto вместо этого.

{'Auto'} | 'IndividualObjectives' | 'LongTestcases' | 'LargeModel (Nonlinear Extended)'

DVUseParallel

Установите параметром Validate test cases or counterexamples with parallel computing на панели Design Verifier.

'on' | {'off'}

Похожие темы

Для просмотра документации необходимо авторизоваться на сайте