Опции Simulink Design Verifier

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

Можно задать опции для Simulink® Проектируйте Verifier™ анализ в диалоговом окне Параметры конфигурации (Configuration Parameters). Чтобы просмотреть опции, откройте вкладку Design Verifier. В разделе Prepare в раскрывающемся меню настроек режима нажмите Settings. Откроется панель Design Verifier параметров конфигурации модели.

По умолчанию опции Simulink Design Verifier не отображаются в диалоговом окне Параметров конфигурации. Когда вы открываете вкладку Design Verifier, Simulink Design Verifier связывает ее опции по умолчанию с моделью. После сохранения модели можно получить доступ к опциям Simulink Design Verifier непосредственно из диалогового окна Параметры конфигурации (Configuration Parameters).

Смотрите Set Model Configuration Parameters для Модели для получения дополнительной информации о работе с этим интерфейсом.

Верификация проекта Опций объекты

Вы можете использовать sldvoptions функция для задания опций Simulink Design Verifier в командной строке.

Для просмотра в MATLAB® Командное окно опции верификации проекта, сопоставленные с моделью Simulink, используют следующий синтаксис:

opts = sldvoptions('model_name');
get(opts)

Параметры командной строки для опций верификации проекта

Используйте следующие параметры, чтобы сконфигурировать поведение Simulink Design Verifier. Используйте get_param и set_param функции для извлечения и задания значений для этих параметров программно.

Для каждого параметра в столбце Location указывается, где можно задать его значение в диалоговом окне Параметры Конфигурации. В столбце «Значения» показаны тип необходимого значения, возможные значения (разделенные вертикальной линией) и значение по умолчанию (заключенные в скобки).

Параметр

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

Значения

DVAbsoluteTolerance

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

double {'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 (partial) на панели 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'

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.

double {300}

DVMaxTestCaseSteps

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

int32 <reservedrangesplaceholder0>

DVMaxViolationSteps

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

int32 <reservedrangesplaceholder0>

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 диалогового окна Параметров конфигурации.

'on' | {'off'}

DVOutputDir

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

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

DVParameterConstraints

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

double array {[]}

DVParameterNames

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

double array {[]}

DVParameterUseInAnalysis

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

{[]} массива ячеек

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.

double {'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'}

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'}

Похожие темы

Документация Simulink Design Verifier

Поддержка

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