sldvoptions

Создайте объект опций верификации проекта

Описание

пример

options = sldvoptions возвращает объект options который содержит значения по умолчанию для параметров верификации проекта.

options = sldvoptions(model) возвращает объект options присоединен к model.

Примеры

свернуть все

Создайте объект опции и установите несколько параметров.

Создайте opts опция для sldvdemo_cruise_control модель:

opts = sldvoptions;
opts.AutomaticStubbing = 'on';
opts.Mode = 'TestGeneration';
opts.ModelCoverageObjectives = 'MCDC';
opts.ReportIncludeGraphics = 'on';
opts.SaveHarnessModel = 'off';
opts.SaveReport = 'off';
opts.TestSuiteOptimization = 'LongTestCases';

Получите объект опции для sldvdemo_cruise_control модель:

sldvdemo_cruise_control
optsModel = sldvoptions(bdroot);
optsCopy = optsModel.deepCopy;
optsCopy.MaxProcessTime = 120;

Входные параметры

свернуть все

Имя или указатель на Simulink® модель.

Выходные аргументы

свернуть все

В этой таблице перечислены параметры, которые состоят из объекта Simulink Design Verifier™ options.

Параметр

Описание

Значения

AbsoluteTolerance

Задайте абсолютное значение допуска в реляционных граничных тестах.

double {'1.0e-05'}

Assertions

Укажите, включены или отключены блоки Assertion в вашей модели.

'EnableAll'
'DisableAll'
'UseLocalSettings' (по умолчанию)

AutomaticStubbing

Укажите, игнорирует ли программа неподдерживаемые блоки и функции, и продолжает анализ.

'on' (по умолчанию)
'off'

BlockReplacement

Укажите, заменяет ли программа блоки в модели перед ее анализом.

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

'on'
'off' (по умолчанию)

BlockReplacementModelFileName

Укажите папку и имя файла для модели, которые являются результатом после применения правил замены блоков.

Этот параметр активируется, когда BlockReplacement установлено в 'on'.

Символьный массив

'$ ModelName$ _replacement' (по умолчанию)

BlockReplacementRulesList

Задайте список правил замены блоков, которые выполняются перед его анализом.

Этот параметр активируется, когда BlockReplacement установлено в 'on'.

Символьный массив

'<FactoryDefaultRules>' (по умолчанию)

CodeAnalysisExtraOptions

Дополнительные опции для анализа S-функций, которые были скомпилированы, чтобы быть совместимыми с Simulink Design Verifier. Смотрите Ограничения поддержки и факторов по S-функциям и коду C/C + +.

Символьный массив

'' (по умолчанию)

CoverageDataFile

Укажите папку и имя файла для файла, содержащего данные о удовлетворенных целях покрытия.

Этот параметр активируется, когда IgnoreCovSatisfied установлено в 'on'.

Символьный массив

'' (по умолчанию)

CovFilter

Для генерации тестов и поиска ошибок проектирования анализа укажите, игнорировать ли цели, хранящиеся в файле фильтра покрытия.

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

'on'
'off' (по умолчанию)

CovFilterFileName

Для генерации тестов и поиска ошибок проектирования анализа задайте имя файла фильтра покрытия, которое содержит цели, которые нужно исключить из анализа.

Этот параметр активируется, когда CovFilter установлено в 'on'.

Символьный массив

'' (по умолчанию)

DataFileName

Укажите папку и имя файла для MAT-файла, который содержит данные, сгенерированные во время анализа, хранящиеся в sldvData структура.

Символьный массив

'$ ModelName$ _sldvdata' (по умолчанию)

DesignMinMaxCheck

Укажите, следует ли проверять, что промежуточные и выходные сигналы в вашей модели находятся в области значений заданных минимальных и максимальных ограничений.

'on'
'off' (по умолчанию)

DesignMinMaxConstraints

Укажите, генерирует ли программное обеспечение Simulink Design Verifier тесты, которые рассматривают указанные минимальное и максимальное значения в качестве ограничений для входных сигналов в вашей модели.

'on' (по умолчанию)
'off'

DetectActiveLogic

Задайте, анализировать ли вашу модель на активную логику.

Этот параметр включен, только если DetectDeadLogic установлено в 'on'.

'on'
'off' (по умолчанию)

DetectBlockInputRangeViolations

Задайте, анализировать ли вашу модель на нарушения входной области значений блоков.

Для получения дополнительной информации смотрите Указанные нарушения входного диапазона блоков.

'on'
'off' (по умолчанию)

DetectDeadLogic

Задайте, анализировать ли вашу модель на мертвую логику.

'on'
'off' (по умолчанию)

DetectDivisionByZero

Задайте, анализировать ли вашу модель на ошибки деления на нули.

'on' (по умолчанию)
'off'

DetectDSMAccessViolations

Укажите, анализировать ли модель на нарушения доступа к хранилищу данных.

'on'
'off' (по умолчанию)

DetectInfNaN

Задайте, анализировать ли модель на неконечные и NaN значения с плавающей точкой.

'on'
'off'(по умолчанию)

DetectIntegerOverflow

Задайте, анализировать ли вашу модель на целое число и ошибки переполнения данных с фиксированной точкой.

'on' (по умолчанию)
'off'

DetectOutOfBounds

Задайте, анализировать ли вашу модель на ошибки доступа за пределами массива.

'on' (по умолчанию)
'off'

DetectSubnormal

Задайте, анализировать ли модель на субнормальные значения с плавающей точкой.

'on'
'off'(по умолчанию)

DisplayReport

Отобразите отчет, который генерирует анализ Simulink Design Verifier после завершения анализа.

Этот параметр активируется, когда SaveReport установлено в 'on'.

'on' (по умолчанию)
'off'

ExistingTestFile

Укажите папку и имя файла для MAT-файла, который содержит записанные данные теста.

Этот параметр активируется, когда Mode установлено в 'TestGeneration' и ExtendExistingTests установлено в 'on'.

Символьный массив

'' (по умолчанию)

ExtendExistingTests

Расширьте анализ Simulink Design Verifier путем импорта тестов, записанных из модели тестовой обвязки или модели симуляции с обратной связью.

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

Этот параметр активируется, когда Mode установлено в 'TestGeneration'.

'on'
'off' (по умолчанию)

HarnessModelFileName

Укажите папку и имя файла для модели тестовой обвязки.

Этот параметр активируется, когда SaveHarnessModel установлено в 'on'.

Символьный массив

'$ ModelName$ _harness' (по умолчанию)

HarnessSource

Задайте тип блока Входы для модели тестовой обвязки.

Этот параметр активируется, когда SaveHarnessModel установлено в 'on'.

'Signal Builder' (по умолчанию)
'Signal Editor'

IgnoreCovSatisfied

Задайте, чтобы анализировать модель, игнорируя удовлетворенные цели покрытия, как указано в CoverageDataFile.

'on'
'off' (по умолчанию)

IgnoreExistTestSatisfied

Игнорируйте цели покрытия, удовлетворенные зарегистрированными тестами в ExistingTestFile.

Этот параметр активируется, когда Mode установлено в 'TestGeneration' и ExtendExistingTests установлено в 'on'.

'on' (по умолчанию)
'off'

IncludeRelationalBoundary

Задайте генерацию тестов, которые удовлетворяют реляционным краевым целям.
'on'
'off' (по умолчанию)

MakeOutputFilesUnique

Укажите, делает ли программа имена выходных файлов уникальными, добавив числовой суффикс.

'on' (по умолчанию)
'off'

MaxProcessTime

Задайте максимальное время (в секундах), которое Simulink Design Verifier тратит на анализ модели.

Можно задать значение максимального времени анализа в значение, которое вы готовы предоставить анализу. Можно также остановить анализ в любое время.

дважды

300 (по умолчанию)

MaxTestCaseSteps

Задайте максимальное количество шагов моделирования при попытке удовлетворить цель тестирования.

В анализе используются MaxTestCaseSteps параметр во время определенных частей анализа генерации тестов, чтобы связать количество шагов, которые использует генерация тестов. Когда вы задаете небольшое значение для этого параметра, ограниченные части анализа завершаются за меньшее время. Когда вы задаете большее значение, ограниченные части анализа занимают больше времени, но эти части анализа могут сгенерировать более длинные тесты.

Чтобы достичь наилучшей эффективности, установите MaxTestCaseSteps параметр со значением, достаточно большим, чтобы связать самый длинный необходимый тест, даже если тесты, которые в конечном счете сгенерированы, длиннее этого значения.

Когда вы устанавливаете TestSuiteOptimization параметр в 'LongTestCases'анализ использует последующие проходы генерации тестов для расширения потенциального тестового примера, так что он удовлетворяет большему количеству целей. Анализ применяет MaxTestCaseSteps параметр каждой отдельной итерации генерации тестов.

Этот параметр активируется, когда Mode установлено в 'TestGeneration'.

int32

10000 (по умолчанию)

MaxViolationSteps

Задайте максимальное количество шагов симуляции, в течение которых программа ищет нарушения свойств.

Этот параметр активируется, когда Mode установлено в 'PropertyProving' и когда ProvingStrategy установлено в 'FindViolation' или 'ProveWithViolationDetection'.

int32

20 (по умолчанию)

Mode

Задайте режим анализа.

'TestGeneration' (по умолчанию)
'PropertyProving'
'DesignErrorDetection'

ModelCoverageObjectives

Укажите тип покрытия модели, которого необходимо достичь.

Когда ModelCoverageObjectives установлено в 'MCDC'программное обеспечение Simulink Design Verifier позволяет выполнять все задачи покрытия для Decision Coverage и покрытия условия. Включение покрытия для покрытия состояния приводит к включению каждого решения и результата покрытия условия.

Этот параметр активируется, когда Mode установлено в 'TestGeneration'.

'None'
'Decision'
'ConditionDecision' (по умолчанию)
'MCDC'
'EnhancedMCDC'

ModelReferenceHarness

Используйте блок Model для ссылки на модель, которая запускается в модели тестовой обвязки.

'on'
'off' (по умолчанию)

OutputDir

Укажите путь, имя которому программа Simulink Design Verifier записывает свои выходы.

Символьный массив

'sldv _ output/$ ModelName$' (по умолчанию)

Parameters

Укажите, использует ли программное обеспечение строения параметров при анализе модели.

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

'on'
'off' (по умолчанию)

ParametersConfigFileName

Задайте MATLAB® функция, которая определяет строения параметров для модели.

Этот параметр активируется, когда Parameters установлено в 'on'. Этот параметр отключен при ParametersUseConfig установлено в 'on'.

Символьный массив

'sldv_params_template.m' (по умолчанию)

ParametersUseConfig

Задайте, чтобы использовать таблицу Конфигурация параметра (Parameter Configuration), чтобы задать строения параметра для модели.

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

'on'
'off' (по умолчанию)

ProofAssumptions

Укажите, включены или отключены блоки Proof Assumption в вашей модели.

'EnableAll'
'DisableAll'
'UseLocalSettings' (по умолчанию)

ProvingStrategy

Укажите стратегию проверки свойств.

'FindViolation'
'Prove' (по умолчанию)
'ProveWithViolationDetection'

RandomizeNoEffectData

Задайте, использовать ли случайные значения вместо нулей для входных сигналов, которые не имеют влияния на тест или цели доказательства.

'on'
'off' (по умолчанию)

RebuildModelRepresentation

Укажите, следует ли перестраивать представление модели для анализа Simulink Design Verifier.

'Always'
'IfChangeIsDetected' (по умолчанию)

ReduceRationalApprox

Задайте, запускать ли дополнительный анализ, чтобы уменьшить образцы рационального приближения.

'on' (по умолчанию)
'off'

RelativeTolerance

Задайте относительное значение допуска для использования в реляционных граничных тестах.

double {'0.01'}

ReportFileName

Укажите папку и имя файла для отчета анализа.

Этот параметр активируется, когда SaveReport установлено в 'on'.

Символьный массив

'$ ModelName$ _report' (по умолчанию)

ReportIncludeGraphics

Включает снимки свойств экрана в отчет. Действителен только в режиме проверки свойств.

Этот параметр активируется, когда SaveReport установлено в 'on' и Mode установлено в 'PropertyProving'.

'on'
'off' (по умолчанию)

SaveExpectedOutput

Симулируйте модель с помощью сигналов теста и включите выходные значения в файл данных Simulink Design Verifier.

'on'
'off' (по умолчанию)

SaveHarnessModel

Создайте модель тестовой обвязки, сгенерированную анализом Simulink Design Verifier.

Когда SaveReport установлено в 'on', этот параметр также должен быть установлен на 'on'.

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

'on'
'off' (по умолчанию)

SaveReport

Сгенерируйте и сохраните отчет Simulink Design Verifier.

Когда этот параметр установлен в 'on', SaveHarnessModel необходимо также задать значение 'on'.

Когда установлено значение 'on', этот параметр включает ReportFileName, ReportIncludeGraphics, и DisplayReport.

'on'
'off' (по умолчанию)

SFcnSupport

Включите поддержку S-функций, которые были скомпилированы, чтобы быть совместимыми с Simulink Design Verifier. Смотрите Ограничения поддержки и факторов по S-функциям и коду C/C + +.

'on' (по умолчанию)
'off'

StrictEnhancedMCDC

Укажите, использовать ли строгие условия распространения для расширенного анализа MCDC.

Этот параметр активируется, когда Mode установлено в 'TestGeneration' и ModelCoverageObjectives установлено в 'EnhancedMCDC'.

'on'
'off' (default)

TestConditions

Укажите, включены ли или отключены блоки Test Condition в вашей модели.

Этот параметр активируется, когда Mode установлено в 'TestGeneration'.

'EnableAll'
'DisableAll'
'UseLocalSettings' (по умолчанию)

TestgenTarget

Укажите цель генерации тестов как модель, код, сгенерированный как верхняя часть или код, сгенерированный как модель-ссылка.

Символьный массив

'Model' (по умолчанию)

'GenCodeTopModel'

'GenCodeModelRef'

TestObjectives

Укажите, включены или отключены блоки Цель Тестирования в вашей модели.

Этот параметр активируется, когда Mode установлено в 'TestGeneration'.

'EnableAll'
'DisableAll'
'UseLocalSettings' (по умолчанию)

TestSuiteOptimization

Задайте стратегию оптимизации, которая будет использоваться при генерации тестов.

Этот параметр активируется, когда Mode установлено в 'TestGeneration'.

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

'Auto' (по умолчанию)
'IndividualObjectives'
'LongTestCases'
'LargeModel (Nonlinear Extended)'

UseParallel

Укажите, следует ли проверять тесты или контрпримеры с параллельными вычислениями. Для этой опции требуется лицензия Parallel Computing Toolbox™.

'on'
'off' (default)

Альтернативы

Чтобы задать опции анализа, на вкладке Design Verifier, в разделе Prepare, в раскрывающемся меню для настроек режима, нажмите Settings.

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