sldvoptions

Simulink Design Verifier オプション オブジェクトの作成

構文

options = sldvoptions

options = sldvoptions(model)

説明

options = sldvoptions は、Simulink^® Design Verifier™ パラメーターの既定値を含むオブジェクト options を返します。

options = sldvoptions(model) は、モデル コンフィギュレーション セットを参照するオブジェクト options を返します。

例

スタンドアロンのオプション オブジェクトの作成

オプション オブジェクトを作成し、sldvdemo_cruise_control モデル用の複数のパラメーターを設定します。

opts = sldvoptions;
opts.Mode = "TestGeneration";
opts.ModelCoverageObjectives = "MCDC";
opts.ReportIncludeGraphics = "on";
opts.SaveHarnessModel = "off";
opts.SaveReport = "off";
opts.TestSuiteOptimization = "LongTestcases";

deepCopy を使用したスタンドアロンのオプション オブジェクトの作成

sldvdemo_cruise_control モデルのオプション オブジェクトを取得します。deepCopy メソッドを使用して、スタンドアロン バージョンの sldvoptions を作成するには、モデル コンフィギュレーション セットのオプションをコピーすることから始めます。

コマンド プロンプトでモデル sldvdemo_cruise_control を開きます。

openExample("sldv/CruiseControlTestGenerationExample', ...
'supportingFile','sldvdemo_cruise_control");
optsModel = sldvoptions(bdroot);
optsCopy = optsModel.deepCopy;
optsCopy.MaxProcessTime = 120;

入力引数

model — モデル名またはハンドル

文字ベクトル | string スカラー

モデル名またはハンドル。文字ベクトルまたは string スカラーとして指定します。

出力引数

options — Options オブジェクト

文字ベクトル

次の表に、Simulink Design Verifier オプション オブジェクトを構成するパラメーターを示します。Simulink Design Verifier のオプション ダイアログ ボックス内の特定のワークフローおよび位置ごとに、パラメーターがグループ化されています。

メモ

set_param または get_param を使用してパラメーターを設定または取得する場合は、この表に示すオプションの前に DV を付けます。たとえば、テスト生成解析用のオプションを設定するには、次のコマンドを使用します。

set_param("model_name","DVMode","TestGeneration")

ペイン	パラメーター	説明	値
Design Verifier	Mode	解析モードを指定します。	'TestGeneration' (既定) 'PropertyProving' 'DesignErrorDetection'
	MaxProcessTime	Simulink Design Verifier がモデルの解析に費やす最大時間を秒単位で指定します。 最大解析時間の値は、解析に指定しても構わない値に設定できます。また、解析はいつでも停止できます。	int32 300 (既定)
	OutputDir	Simulink Design Verifier ソフトウェアによる出力の書き込み先のパス名を指定します。Simulink Design Verifier の出力が書き込まれる Simulink キャッシュのディレクトリも指定されます。たとえば、'$CacheFolder$' などのトークンを使用して、Simulink Design Verifier キャッシュ フォルダーを表すことができます。	'sldv_output/$ModelName$' (既定) '$CacheFolder$'/$ModelName$'
	MakeOutputFilesUnique	ソフトウェアにより数字の接尾辞を追加して、出力ファイル名を一意にするかどうかを指定します。	'on' (既定) 'off'
	RebuildModelRepresentation	Simulink Design Verifier 解析用のモデル表現を再作成するかどうかを指定します。	'Always' 'IfChangeIsDetected' (既定)
	DesignMinMaxConstraints	指定された最小値および最大値をモデル内の入力信号に対する制約として考慮するテスト ケースを Simulink Design Verifier ソフトウェアが生成するかどうかを指定します。	'on' (既定) 'off'
	ReduceRationalApprox	有理近似のインスタンスを減らす目的で追加の解析を実行するかどうかを指定します。	'on' (既定) 'off'
	UseParallel	並列計算でテスト ケースまたは反例を検証するかどうかを指定します。このオプションには Parallel Computing Toolbox™ のライセンスが必要です。	'on' 'off' (default)
	CovFilter	カバレッジ フィルター ファイルによって指定されたオブジェクティブを、テスト生成とデッド ロジック解析で無視するかどうかを指定します。 on に設定すると、このパラメーターは CovFilterFileName を有効にします。	'on' 'off' (既定)
	CovFilterFileName	テスト生成および設計エラー検出解析で無視するオブジェクティブを含むフォルダー名とファイル名を指定します。	文字配列 ' ' (既定)
	SFcnSupport	Simulink Design Verifier との互換性をもつようにコンパイルされた S-Function のサポートを有効にするよう指定します。	'on' (既定) 'off'
	CodeAnalysisIgnoreVolatile	volatile 修飾子を、S-Function の変数において無視するよう指定します。	'on' (既定) 'off'
	CodeAnalysisExtraOptions	Simulink Design Verifier との互換性をもつようにコンパイルされた S-Function を解析するための追加オプションを指定します。S-Function と C/C++ コードに対する Simulink Design Verifier の制限事項と考慮事項を参照してください。	文字配列 ' ' (既定)
ブロック置換	BlockReplacement	ソフトウェアが解析の前にモデル内のブロックを置換するかどうかを指定します。 'on' に設定すると、このパラメーターは BlockReplacementModelFileName と BlockReplacementRulesList を有効にします。	'on' 'off' (既定)
	BlockReplacementRulesList	解析の前に実行するブロック置換ルールのリストを指定します。 このパラメーターは、BlockReplacement が 'on' に設定されている場合に有効になります。	文字配列 '<FactoryDefaultRules>' (既定)
	BlockReplacementModelFileName	ブロック置換ルール適用後の結果であるモデルのフォルダー名およびファイル名を指定します。 このパラメーターは、BlockReplacement が 'on' に設定されている場合に有効になります。	文字配列 '$ModelName$_replacement' (既定)
パラメーターとバリアント	ParameterConfiguration	Simulink Design Verifier 解析中にパラメーターを構成する方法を指定します。パラメーターを手動で選択して構成することも、Simulink Design Verifier に自動でこれらのパラメーターを検出および構成させることも可能です。	'None' (既定) 'Auto' 'DetermineFromGeneratedCode' 'UseParameterTable' 'UseParameterConfigFile'
	ParameterNames	[パラメーター テーブル] でパラメーター名を指定します。	double array '[]' (既定)
	ParameterConstraints	[パラメーター テーブル] でパラメーター制約を指定します。	double array '[]' (既定)
	ParameterUseInAnalysis	パラメーター コンフィギュレーションを有効にするパラメーターを [パラメーター テーブル] で指定します。	cell 配列 '[]' (既定)
	ParametersConfigFileName	モデルのパラメーター コンフィギュレーションを定義する MATLAB® 関数を指定します。 このパラメーターは、Parameters が 'on' に設定されている場合に有効になります。このパラメーターは、ParametersUseConfig が 'on' に設定されている場合に無効になります。	文字配列 'sldv_params_template.m' (既定)
	AnalyzeAllStartupVariants	単一解析中のモデルにおいて、[バリアントのアクティベーションのタイミング] パラメーターが [起動] に設定されているすべての variant ブロックを解析するよう指定します。	'on' (既定) 'off'
テスト生成	TestgenTarget	[モデル]、[最上位モデルとして生成されたコード]、[モデル参照として生成されたコード] のいずれかとすることができるモデルとして、テスト生成ターゲットを指定します。	'Model' (既定) 'GenCodeTopModel' 'GenCodeModelRef'
	ModelCoverageObjectives	達成するモデル カバレッジのタイプを指定します。 ModelCoverageObjectives を 'MCDC' に設定すると、Simulink Design Verifier ソフトウェアは、判定カバレッジおよび条件カバレッジに関するすべてのカバレッジ オブジェクティブを有効にします。条件カバレッジに関するカバレッジを有効にすると、すべての判定カバレッジおよび条件カバレッジの結果も有効になります。 このパラメーターは、[モード] が [テスト生成] に設定されている場合に有効になります。	'None' 'Decision' 'ConditionDecision' (既定) 'MCDC' 'EnhancedMCDC'
	TestConditions	モデル内の Test Condition ブロックを有効にするか無効にするかを指定します。 このパラメーターは、Mode が 'TestGeneration' に設定されている場合に有効になります。	'EnableAll' 'DisableAll' 'UseLocalSettings' (既定)
	TestObjectives	モデル内の Test Objective ブロックを有効にするか無効にするかを指定します。 このパラメーターは、Mode が 'TestGeneration' に設定されている場合に有効になります。	'EnableAll' 'DisableAll' 'UseLocalSettings' (既定)
	MaxTestCaseSteps	テスト オブジェクティブを達成する目的で実行するシミュレーション ステップの最大数を指定します。 この解析は、テスト生成解析の特定の一部を実行中に MaxTestCaseSteps パラメーターを使用して、テスト生成で使用されるステップ数を制限します。このパラメーターに小さい値を設定すると、制限された解析の部分はより短時間で完了します。大きな値を設定すると、制限された解析部分には長い時間がかかりますが、解析のこれらの部分に対しより長いテスト ケースを生成することができます。 最適なパフォーマンスを達成するには、MaxTestCaseSteps パラメーターの値を、最長の必須テスト ケースを制限できる十分大きな値に設定します。最終的に生成されるテスト ケースがこの値を超えて長くなる場合でも同様です。 TestSuiteOptimization パラメーターを 'LongTestcases' に設定すると、より多くのオブジェクティブが解析で達成されるように、テスト生成の連続的な受け渡しを使用して潜在的なテスト ケースが拡張されます。解析では MaxTestCaseSteps パラメーターがテスト生成の個々の反復に適用されます。 このパラメーターは、Mode が 'TestGeneration' に設定されている場合に有効になります。	int32 10000 (既定)
	TestSuiteOptimization	テスト ケースの生成時に使用する最適化手法を指定します。 このパラメーターは、Mode が 'TestGeneration' に設定されている場合に有効になります。	'Auto' (既定) 'IndividualObjectives' 'LongTestcases'
	IncludeRelationalBoundary	関係演算子の境界オブジェクティブを達成するテスト ケースを生成するように指定します。	'on' 'off' (既定)
	AbsoluteTolerance	信号またはパラメーター値に適用される許容誤差の絶対値を、関係演算子の境界テストにおいて指定します。	double {'1.0e-05'} (既定)
	RelativeTolerance	信号またはパラメーター値に適用される許容誤差の相対値を、関係演算子の境界テストにおいて指定します。	cell 配列 {'0.01'} (既定)
	StrictEnhancedMCDC	拡張改良条件判定カバレッジ解析に厳密な伝播条件を使用するかどうかを指定します。 このパラメーターは、Mode が 'TestGeneration' に、ModelCoverageObjectives が 'EnhancedMCDC' に設定されている場合に有効になります。	'on' 'off' (default)
	IgnoreCovSatisfied	CoverageDataFile に指定されたとおり、達成されたカバレッジ オブジェクティブを無視してモデルを解析するように指定します。	'on' 'off' (既定)
	CoverageDataFile	達成されたカバレッジ オブジェクティブに関するデータが含まれるファイル名およびフォルダーを指定します。 このパラメーターは、IgnoreCovSatisfied が 'on' に設定されている場合に有効になります。	文字配列 ' ' (既定)
	ExtendExistingTests	ハーネス モデルまたは閉ループ シミュレーション モデルから記録されたテスト ケースをインポートして、Simulink Design Verifier 解析を拡張します。 'on' に設定すると、このパラメーターは ExistingTestFile と IgnoreExistTestSatisfied を有効にします。 このパラメーターは、Mode が 'TestGeneration' に設定されている場合に有効になります。	'on' 'off' (既定)
	ExistingTestFile	記録されたテスト ケース データを含む MAT ファイルのフォルダーおよびファイル名を指定します。 このパラメーターは、Mode が 'TestGeneration' に、ExtendExistingTests が 'on' に設定されている場合に有効になります。	文字配列 ' ' (既定)
	IgnoreExistTestSatisfied	ExistingTestFile にログが作成されたテスト ケースで達成されたカバレッジ オブジェクティブを無視します。 このパラメーターは、Mode が 'TestGeneration' に設定されている場合に有効になります。	'on' (既定) 'off'
設計エラー検出	DefectChecker	ゼロ除算、整数オーバーフロー、デッド ロジック、範囲外の配列などのよくある重大な設計エラーをチェックするように指定します。解析では違反のみが検出され、有効な結果は報告されません。	'on' (既定) 'off'
	DetectDeadLogic	モデルのデッド ロジックを解析するかどうかを指定します。	'on' 'off' (既定)
	DetectActiveLogic	モデルのアクティブ ロジックを解析するかどうかを指定します。 このパラメーターは、DetectDeadLogic が 'on' に設定されている場合のみ有効になります。	'on' 'off' (既定)
	DeadLogicObjectives	モデルでデッド ロジックの解析を行うカバレッジ オブジェクティブのタイプを指定します。	'ConditionDecision' (既定) 'Decision' MCDC
	DetectOutOfBounds	モデルについて範囲外の配列へのアクセス エラーを解析するかどうかを指定します。	'on' (既定) 'off'
	DetectDSMAccessViolations	データ ストアのアクセス違反についてモデルを解析するかどうかを指定します。	'on' 'off' (既定)
	DetectDivisionByZero	モデルでゼロ除算エラーを解析するかどうかを指定します。	'on' (既定) 'off'
	DetectIntegerOverflow	モデルで整数または固定小数点データのオーバーフロー エラーを解析するかどうかを指定します。	'on' (既定) 'off'
	DetectInfNaN	モデルの非有限で NaN の浮動小数点値を解析するかどうかを指定します。	'on' 'off' (既定)
	DetectSubnormal	モデルの非正規浮動小数点値を解析するかどうかを指定します。	'on' 'off' (既定)
	DesignMinMaxCheck	モデル内の中間信号および出力信号が、指定された最小制約と最大制約の範囲内にあることをチェックするかどうかを指定します。	'on' 'off' (既定)
	DetectBlockInputRangeViolations	モデルのブロック入力範囲違反を解析するかどうかを指定します。	'on' 'off' (既定)
	DetectHISMViolationsHisl_0002	非有限の結果の原因となる rem 演算および reciprocal 演算の使用方法をチェックするかどうかを指定します。	'on' 'off' (既定)
	DetectHISMViolationsHisl_0003	負になる可能性のある入力をもつ sqrt 演算の使用方法をチェックするかどうかを指定します。	'on' 'off' (既定)
	DetectHISMViolationsHisl_0004	非有限の結果の原因となる log 演算および log10 演算の使用方法をチェックするかどうかを指定します。	'on' 'off' (既定)
	DetectHISMViolationsHisl_0028	0 または負になる可能性のある入力をもつ逆数 sqrt ブロックの使用方法をチェックするかどうかを指定します。	'on' 'off' (既定)
プロパティ証明	Assertions	モデル内の Assertion ブロックを有効にするか無効にするかを指定します。	'EnableAll' 'DisableAll' 'UseLocalSettings' (既定)
	ProofAssumptions	モデル内の Proof Assumption ブロックを有効にするか無効にするかを指定します。	'EnableAll' 'DisableAll' 'UseLocalSettings' (既定)
	ProvingStrategy	プロパティ証明の手法を指定します。	'FindViolation' 'Prove' (既定) 'ProveWithViolationDetection'
	MaxViolationSteps	ソフトウェアがプロパティ違反を検索しない、上限のシミュレーション ステップ数を指定します。 このパラメーターは、Mode が 'PropertyProving' に、ProvingStrategy が 'FindViolation' または 'ProveWithViolationDetection' に設定されている場合に有効になります。	int32 20 (既定)
結果	DataFileName	解析時に生成され、sldvData 構造体に格納されたデータを含む MAT ファイルのファイル名およびフォルダーを指定します。	文字配列 '$ModelName$_sldvdata' (既定)
	SaveExpectedOutput	テスト ケースの信号を使用してモデルのシミュレーションを実行し、Simulink Design Verifier データ ファイルに出力値を格納するよう指定します。	'on' 'off' (既定)
	RandomizeNoEffectData	テスト オブジェクティブまたは証明オブジェクティブに影響しない入力信号に、ゼロでなく乱数値を使用するかどうかを指定します。	'on' 'off' (既定)
	SaveHarnessModel	Simulink Design Verifier 解析で生成されたハーネス モデルを作成するよう指定します。 SaveReport を 'on' に設定した場合は、このパラメーターも 'on' に設定しなければなりません。 'on' に設定すると、このパラメーターは HarnessModelFileName を有効にします。	'on' 'off' (既定)
	HarnessSource	ハーネス モデルの Inputs ブロックのタイプを指定します。 このパラメーターは、SaveHarnessModel が 'on' に設定されている場合に有効になります。	'Signal Editor' (既定) 'Signal Builder' メモ 'Signal Builder' は今後、削除される予定です。'Signal Builder' を HarnessSource オプションの値として使用すると、ソフトウェアから警告が発行されます。
	HarnessModelFileName	ハーネス モデルのファイル名およびフォルダーを指定します。 このパラメーターは、SaveHarnessModel が 'on' に設定されている場合に有効になります。	文字配列 '$ModelName$_harness' (既定)
	ModelReferenceHarness	Model ブロックを使用して、ハーネス モデルで実行するモデルを参照します。	'on' 'off' (既定)
	SlTestFileName	Simulink Test™ のテスト ファイル名とそのパスを指定します。	文字配列 '$ModelName$_test' (既定)
	SlTestHarnessName	Simulink Test のテスト ハーネスの名前を指定します。	文字配列 '$ModelName$_sldvharness' (既定)
レポート	SaveReport	Simulink Design Verifier レポートを生成して保存するよう指定します。 このパラメーターを 'on' に設定した場合は、SaveHarnessModel も 'on' に設定しなければなりません。 'on' に設定すると、このパラメーターは ReportFileName、ReportIncludeGraphics および DisplayReport を有効にします。	'on' 'off' (既定)
	ReportPDFFormat	追加レポートを PDF 形式で生成するよう指定します。	'on' 'off' (既定)
	ReportFileName	解析レポートのフォルダー名およびファイル名を指定します。 このパラメーターは、SaveReport が 'on' に設定されている場合に有効になります。	文字配列 '$ModelName$_report' (既定)
	ReportIncludeGraphics	プロパティのスクリーン ショットをレポートに含めるよう指定します。これは、プロパティ証明解析モードでのみ適用可能です。 このパラメーターは、SaveReport が 'on' に、Mode が 'PropertyProving' に設定されている場合に有効になります。	'on' 'off' (既定)
	DisplayReport	Simulink Design Verifier 解析の完了後に、生成されたレポートを表示するよう指定します。 このパラメーターは、SaveReport が 'on' に設定されている場合に有効になります。	'on' (既定) 'off'

代替方法

[コンフィギュレーション パラメーター] ダイアログ ボックスを使用して Simulink Design Verifier オプションを設定します。Simulink ツールストリップの [Design Verifier] タブで、[テスト生成設定] 、 [設定] をクリックします。[コンフィギュレーション パラメーター] ダイアログ ボックスの [Design Verifier] ペインで、解析パラメーターを設定します。詳細については、[コンフィギュレーション パラメーター] ダイアログ ボックスを使用した Design Verifier のオプションの設定を参照してください。

バージョン履歴

R2007a で導入

R2024b: バージョン履歴

Simulink Design Verifier の解析では、harnessSource オプションを Signal Builder ブロックに設定するとエラーになります。

参考

sldvblockreplacement | sldvcompat | sldvgencov | sldvrun

トピック

• モデルの解析オプションの構成