このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
sldvoptions
設計検証オプション オブジェクトの作成
説明
例
オプション オブジェクトを作成し、複数のパラメーターを設定します。
sldvdemo_cruise_control
モデルの opts
オプションを作成します。
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
モデルのオプション オブジェクトを取得します。スタンドアロン バージョンの sldvoptions
を作成するが、モデル構成セットのオプションをコピーして始める場合、deepCopy
メソッドを使用できます。
コマンド プロンプトでモデル sldvdemo_cruise_control
を開きます。
openExample('sldv/CruiseControlTestGenerationExample',... 'supportingFile', 'sldvdemo_cruise_control'); optsModel = sldvoptions(bdroot); optsCopy = optsModel.deepCopy; optsCopy.MaxProcessTime = 120;
入力引数
Simulink® モデルの名前またはハンドル。文字ベクトルまたは string スカラーとして指定します。
出力引数
次の表に、Simulink Design Verifier™ オプション オブジェクトを構成するパラメーターを示します。
パラメーター | 説明 | 値 | |||||
---|---|---|---|---|---|---|---|
| 関係演算子の境界テストにおける許容誤差の絶対値を指定します。 | double | |||||
| モデル内の Assertion ブロックを有効にするか無効にするかを指定します。 |
| |||||
| サポートされないブロックおよび関数をソフトウェアが無視して解析を続行するかどうかを指定します。 |
| |||||
| ソフトウェアが解析の前にモデル内のブロックを置換するかどうかを指定します。
|
| |||||
| ブロック置換ルール適用後の結果であるモデルのフォルダー名およびファイル名を指定します。 このパラメーターは、 | 文字配列
| |||||
| 解析の前に実行するブロック置換ルールのリストを指定します。 このパラメーターは、 | 文字配列
| |||||
| Simulink Design Verifier との互換性をもつようにコンパイルされた S-Function を解析するための追加オプション。S-Function および C/C++ コードのサポートの制限事項と考慮事項を参照してください。 | 文字配列
| |||||
| 達成されたカバレッジ オブジェクティブに関するデータが含まれるファイル名およびフォルダーを指定します。 このパラメーターは、 | 文字配列
| |||||
| テスト生成解析と設計エラー検出解析において、カバレッジ フィルター ファイルに保存されているテスト オブジェクティブを無視するかどうかを指定します。 オンに設定すると、このパラメーターは |
| |||||
| テスト生成解析と設計エラー検出解析において、解析から除外するオブジェクティブを含むカバレッジ フィルター ファイルの名前を指定します。 このパラメーターは、 | 文字配列
| |||||
| 解析時に生成され、 | 文字配列
| |||||
| [欠陥チェッカー] は、コンポーネントのよくある重大な設計エラーをチェックするのに役立ちます。開発フェーズ全体を通して、ゼロ除算、整数オーバーフロー、デッド ロジック、範囲外の配列などのエラーを簡単に見つけることができます。 |
| |||||
| モデル内の中間信号および出力信号が、指定された最小制約と最大制約の範囲内にあることをチェックするかどうかを指定します。 |
| |||||
| 指定された最小値および最大値をモデル内の入力信号に対する制約として考慮するテスト ケースを Simulink Design Verifier ソフトウェアが生成するかどうかを指定します。 |
| |||||
| モデルのアクティブ ロジックを解析するかどうかを指定します。 このパラメーターは、 |
| |||||
| モデルのブロック入力範囲違反を解析するかどうかを指定します。 詳細については、指定したブロック入力範囲違反を参照してください。 |
| |||||
| モデルのデッド ロジックを解析するかどうかを指定します。 |
| |||||
| モデルでゼロ除算エラーを解析するかどうかを指定します。 |
| |||||
| データ ストアのアクセス違反についてモデルを解析するかどうかを指定します。 |
| |||||
DetectHISMViolationsHisl_0002 | 非有限の結果の原因となる |
| |||||
DetectHISMViolationsHisl_0003 | 負になる可能性のある入力をもつ Square Root 演算の使用方法をチェックするかどうかを指定します。 |
| |||||
DetectHISMViolationsHisl_0004 | 非有限の結果の原因となる |
| |||||
DetectHISMViolationsHisl_0028 | 0 または負になる可能性のある入力をもつ Reciprocal Square Root ブロックの使用方法をチェックするかどうかを指定します。 |
| |||||
| モデルの非有限で NaN の浮動小数点値を解析するかどうかを指定します。 |
| |||||
| モデルで整数または固定小数点データのオーバーフロー エラーを解析するかどうかを指定します。 |
| |||||
| モデルについて範囲外の配列へのアクセス エラーを解析するかどうかを指定します。 |
| |||||
| モデルの非正規浮動小数点値を解析するかどうかを指定します。 |
| |||||
| Simulink Design Verifier 解析の完了後、生成されたレポートを表示します。 このパラメーターは、 |
| |||||
| ログに記録されたテスト ケース データを含む MAT ファイルのフォルダーおよびファイル名を指定します。 このパラメーターは、 | 文字配列
| |||||
| ハーネス モデルまたは閉ループ シミュレーション モデルからログを記録されたテスト ケースをインポートして、Simulink Design Verifier 解析を拡張します。
このパラメーターは、 |
| |||||
| ハーネス モデルのファイル名およびフォルダーを指定します。 このパラメーターは、 | 文字配列
| |||||
| ハーネス モデルの Inputs ブロックのタイプを指定します。 このパラメーターは、 |
| |||||
|
|
| |||||
|
このパラメーターは、 |
| |||||
| 関係演算子の境界オブジェクティブを達成するテスト ケースを生成するように指定します。 |
| |||||
| ソフトウェアにより数字の接尾辞を追加して、出力ファイル名を一意にするかどうかを指定します。 |
| |||||
| Simulink Design Verifier がモデルの解析に費やす最大時間を秒単位で指定します。 最大解析時間の値は、解析に指定しても構わない値に設定できます。また、解析はいつでも停止できます。 | int32
| |||||
| テスト オブジェクティブを達成する目的で実行するシミュレーション ステップの最大数を指定します。 この解析は、テスト生成解析の特定の一部を実行中に 最適なパフォーマンスを達成するには、
このパラメーターは、 | int32
| |||||
| ソフトウェアがプロパティ違反を検索しない、上限のシミュレーション ステップ数を指定します。 このパラメーターは、 | int32
| |||||
| 解析モードを指定します。 |
| |||||
| 達成するモデル カバレッジのタイプを指定します。
このパラメーターは、 |
| |||||
| Model ブロックを使用して、ハーネス モデルで実行するモデルを参照します。 |
| |||||
|
| 文字配列
| |||||
| Simulink Design Verifier 解析中にパラメーターを構成する方法を指定します。 |
| |||||
| モデルのパラメーター コンフィギュレーションを定義する MATLAB® 関数を指定します。 このパラメーターは、 | 文字配列
| |||||
| モデル内の Proof Assumption ブロックを有効にするか無効にするかを指定します。 |
| |||||
| プロパティ証明の手法を指定します。 |
| |||||
| テスト オブジェクティブまたは証明オブジェクティブに影響しない入力信号に、ゼロでなく乱数値を使用するかどうかを指定します。 |
| |||||
| Simulink Design Verifier 解析用のモデル表現を再作成するかどうかを指定します。 |
| |||||
| 有理近似のインスタンスを減らす目的で追加の解析を実行するかどうかを指定します。 |
| |||||
| 関係演算子の境界テストで使用される許容誤差の相対値を指定します。 | double | |||||
| 解析レポートのフォルダー名およびファイル名を指定します。 このパラメーターは、 | 文字配列
| |||||
| プロパティのスクリーン ショットをレポートに含めます。プロパティ証明モードでのみ有効です。 このパラメーターは、 |
| |||||
| テスト ケースの信号を使用してモデルのシミュレーションを実行し、Simulink Design Verifier データ ファイルに出力値を格納します。 |
| |||||
| Simulink Design Verifier 解析で生成されたハーネス モデルを作成します。
|
| |||||
| Simulink Design Verifier レポートを生成して保存します。 このパラメーターを
|
| |||||
| Simulink Design Verifier との互換性をもつようにコンパイルされた S-Function のサポートを有効にします。S-Function および C/C++ コードのサポートの制限事項と考慮事項を参照してください。 |
| |||||
| 拡張 MCDC 解析に厳密な伝播条件を使用するかどうかを指定します。 このパラメーターは、 |
| |||||
| モデル内の Test Condition ブロックを有効にするか無効にするかを指定します。 このパラメーターは、 |
| |||||
| モデル、最上位モデルとして生成されたコード、またはモデル参照として生成されたコードとして、テスト生成ターゲットを指定します。 | 文字配列
| |||||
| モデル内の Test Objective ブロックを有効にするか無効にするかを指定します。 このパラメーターは、 |
| |||||
| テスト ケースの生成時に使用する最適化手法を指定します。 このパラメーターは、
|
| |||||
| 並列計算でテスト ケースまたは反例を検証するかどうかを指定します。このオプションには Parallel Computing Toolbox™ のライセンスが必要です。 |
|
代替方法
解析オプションを設定するには、[Design Verifier] タブの [準備] セクションにあるモード設定のドロップダウン メニューから [設定] をクリックします。
バージョン履歴
R2007a で導入Simulink Design Verifier の解析では、harnessSource
オプションを Signal Builder ブロックに設定するとエラーになります。
MATLAB Command
You clicked a link that corresponds to this MATLAB command:
Run the command by entering it in the MATLAB Command Window. Web browsers do not support MATLAB commands.
Web サイトの選択
Web サイトを選択すると、翻訳されたコンテンツにアクセスし、地域のイベントやサービスを確認できます。現在の位置情報に基づき、次のサイトの選択を推奨します:
また、以下のリストから Web サイトを選択することもできます。
最適なサイトパフォーマンスの取得方法
中国のサイト (中国語または英語) を選択することで、最適なサイトパフォーマンスが得られます。その他の国の MathWorks のサイトは、お客様の地域からのアクセスが最適化されていません。
南北アメリカ
- América Latina (Español)
- Canada (English)
- United States (English)
ヨーロッパ
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)