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™.

Параметр

Описание

Значения

AbsoluteTolerance

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

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

Assertions

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

'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. Смотрите Ограничения Поддержки и Факторы для Кода C/C++ и S-функций.

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

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

CoverageDataFile

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

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

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

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

CovFilter

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

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

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

CovFilterFileName

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

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

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

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

DataFileName

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

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

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

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

DesignMinMaxCheck

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

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

DesignMinMaxConstraints

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

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

DetectActiveLogic

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

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

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

DetectBlockInputRangeViolations

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

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

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

DisplayUnsatisfiableObjectives

Задайте, вывести ли предупреждения, если анализ обнаруживает невыполнимые цели тестирования.

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

'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

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

Этот параметр включен когда 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

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

'double'

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

MaxTestCaseSteps

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

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

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

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

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

int32

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

MaxViolationSteps

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

Этому параметру включают whenMode установлен в '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 пишет свой выход.

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

'$ModelName sldv_output/$' (значение по умолчанию)

Parameters

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

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

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

ParametersConfigFileName

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

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

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

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

ParametersUseConfig

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

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

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

ProofAssumptions

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

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

ProvingStrategy

Задайте стратегию доказательства свойств.

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

RandomizeNoEffectData

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

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

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

RebuildModelRepresentation

Задайте, восстановить ли представление модели для анализа Simulink Design Verifier.

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

ReduceRationalApprox

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

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

RelativeTolerance

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

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

ReportFileName

Задайте папку и имя файла для аналитического отчета.

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

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

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

ReportIncludeGraphics

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

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

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

SaveDataFile

Сохраните тестовые данные, которые анализ генерирует к MAT-файлу.

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

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

SaveExpectedOutput

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

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

'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. Смотрите Ограничения Поддержки и Факторы для Кода C/C++ и S-функций.

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

StrictEnhancedMCDC

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

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

'on'
'off' (default)

TestConditions

Задайте, включены ли блоки Условия испытания в вашей модели или отключены.

Этот параметр включен когда 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

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