ドキュメンテーション

最新のリリースでは、このページがまだ翻訳されていません。 このページの最新版は英語でご覧になれます。

モデル チェックの制限

モデル アドバイザー対象外指定とは

モデルの開発と検証にかかる時間を短縮するため、モデルのモデル アドバイザー解析の範囲を限定することができます。"モデル アドバイザー対象外指定" を作成し、選択したチェックからモデル内のブロックを対象外指定できます。以下について、すべてのチェックを対象外指定することも、選択したチェックのみを対象外指定することもできます。

  • Simulink® ブロック

  • Stateflow® チャート

対象外とするブロックを指定すると、モデル アドバイザーは解析時に対象外指定情報を使用して、指定したチェックの対象からブロックを除外します。既定では、モデル アドバイザーの対象外指定情報はモデルの SLX ファイルに保存されます。あるいは、この情報を対象外指定ファイルに保存することもできます。

モデルの対象外指定情報を表示するには、モデル ウィンドウを右クリックするか、ブロックを右クリックして、[モデル アドバイザー][モデル アドバイザーの対象外指定エディターを開く] を選択します。[モデル アドバイザーの対象外指定エディター] ダイアログ ボックスには各対象外指定について次の情報が表示されます。

フィールド説明
根拠

このオブジェクトをモデル アドバイザー チェックから対象外指定する理由。編集できるフィールドは [根拠] フィールドだけです。

タイプ

特定のブロックのみを対象外指定するか、特定のタイプのブロックをすべて対象外指定するかを指定。

対象外指定するブロックの名前。

チェック ID

ブロックの対象外指定が適用されるチェックの名前。

メモ

ブロックをコメント アウトした場合は、シミュレーションとモデル アドバイザー解析の両方から除外されます。

モデル アドバイザーの対象外指定をモデル ファイルに保存

モデル アドバイザーの対象外指定をモデルの SLX ファイルに保存するには、[モデル アドバイザーの対象外指定エディター] ダイアログ ボックスで [モデル ファイルに対象外指定を保存] を選択します。モデルの SLX ファイルを開くと、そのモデルには対象外指定が含まれています。

モデル アドバイザーの対象外指定を対象外指定ファイルに保存

"モデル アドバイザー対象外指定ファイル" とは、指定したチェックから除外する一連のブロックを対象外指定ファイルとしてまとめたものです。対象外指定を作成し、それらを対象外指定ファイルに保存できます。対象外指定ファイルを使用するには、[モデル アドバイザーの対象外指定エディター] ダイアログ ボックスで [モデル ファイルに対象外指定を保存] をオフにします。[対象外指定ファイル] フィールドが有効になります。

[対象外指定ファイル] には当該のモデルに関連付けられた対象外指定ファイルの名前と場所が含まれます。1 つの対象外指定ファイルを複数のモデルで使用することができます。ただし、1 つのモデルに対して使用できる対象外指定ファイルの数は 1 つだけです。

モデル アドバイザーは、別のフォルダーが指定された場合を除き、対象外指定ファイルを現在のフォルダーに保存します。対象外指定ファイルの既定の名前は <model_name>_exclusions.xml です。

対象外指定ファイルを作成してモデルを保存する場合、対象外指定ファイルをモデルに付加します。モデルを開くたびに、対象外指定ファイルで指定されたブロックとチェックが解析から除外されます。

モデル アドバイザー対象外指定の作成

  1. モデル ウィンドウで、ブロックを右クリックして [モデル アドバイザー] を選択します。実行する対象外指定のタイプに対応するメニュー オプションを選択します。

    目的 [モデル アドバイザー] メニューで選択するオプション
    すべてのチェックからブロックを対象外指定する。

    [ブロックのみを除いて][すべてのチェック]

    すべてのチェックから、指定したタイプのすべてのブロックを対象外指定する。

    [タイプ <block_type> のすべてのブロックを除いて][すべてのチェック]

    選択したチェックからブロックを対象外指定する。
    • [ブロックのみを除いて][チェックの選択]

    • [チェック セレクター] ダイアログ ボックスで、チェックを選択します。[OK] をクリックします。

    選択したチェックから、指定したタイプのすべてのブロックを対象外指定する。
    • [タイプ <block_type> のすべてのブロックを除いて][チェックの選択]

    • [チェック セレクター] ダイアログ ボックスで、チェックを選択します。[OK] をクリックします。

    失敗したすべてのチェックからブロックを対象外指定する。このオプションはモデル アドバイザー解析の実行後に使用できます。

    [ブロックのみを除いて][失敗したチェックのみ]

    失敗したすべてのチェックから、指定したタイプのすべてのブロックを対象外指定する。このオプションはモデル アドバイザー解析の実行後に使用できます。

    [タイプ <block_type> のすべてのブロックを除いて][失敗したチェックのみ]

    失敗した 1 件のチェックからブロックを対象外指定する。このオプションはモデル アドバイザー解析の実行後に使用できます。

    [ブロックのみを除いて][<失敗したチェックの名前>]

    失敗した 1 件のチェックから、指定したタイプのすべてのブロックを対象外指定する。このオプションはモデル アドバイザー解析の実行後に使用できます。

    [タイプ <block_type> のすべてのブロックを除いて][<失敗したチェックの名前>]

  2. [モデル アドバイザーの対象外指定エディター] ダイアログ ボックスでは次のことが可能です。

    • 対象外指定をモデル ファイルに保存するには、[モデル ファイルに対象外指定を保存] を選択します。[OK] または [適用] をクリックして対象外指定を作成します。

    • 情報を対象外指定ファイルに保存するには、[モデル ファイルに対象外指定を保存] をオフにします。[OK] または [適用] をクリックします。この対象外指定がはじめて作成するものである場合、[対象外指定ファイルに名前を付けて保存] ダイアログ ボックスが開きます。このダイアログ ボックスで [保存] をクリックし、対象外指定ファイルに既定の名前 <model_name>_exclusions.xml を設定して現在のフォルダーに保存します。オプションで、別のファイル名や場所を選択することもできます。

  3. オプションで、対象外指定ファイルの名前や場所を変更する場合は、次を行います。

    1. [モデル アドバイザーの対象外指定エディター] ダイアログ ボックスで [モデル ファイルに対象外指定を保存] をオフにします。

    2. [モデル アドバイザーの対象外指定エディター] ダイアログ ボックスで [変更] を選択します。

    3. [対象外指定ファイルの変更] ダイアログ ボックスで [名前を付けて保存] を選択します。

    4. [対象外指定ファイルに名前を付けて保存] ダイアログ ボックスで、目的の場所に移動し、ファイル名を入力します。[保存] をクリックします。

    5. [モデル アドバイザーの対象外指定エディター] ダイアログ ボックスで [OK] または [適用] を選択して対象外指定を作成し、情報を対象外指定ファイルに保存します。

モデル ブロックを右クリックして [モデル アドバイザー] を選択すると、必要な数だけモデル アドバイザー対象外指定を作成できます。対象外指定を作成するたびに、[モデル アドバイザーの対象外指定エディター] ダイアログ ボックスが開きます。[根拠] フィールドで、モデル アドバイザー解析からブロックやチェックを対象外指定する理由を指定できます。この根拠は、モデルを確認する人にとって便利です。

対象外指定ファイルを作成してモデルを保存する場合、対象外指定ファイルをモデルに付加します。モデルを開くたびに、対象外指定ファイルで指定されたブロックとチェックが解析から除外されます。

モデル アドバイザー対象外指定の確認

モデルに関連付けられている対象外指定を確認することができます。モデル アドバイザー解析の前または後に対象外指定情報を表示するには、次を行います。

  • モデル ウィンドウを右クリックするか、ブロックを右クリックして、[モデル アドバイザー][モデル アドバイザーの対象外指定エディターを開く] を選択します。[モデル アドバイザーの対象外指定エディター] ダイアログ ボックスには、モデルに対して設定された対象外指定が表示されます。

  • モデル アドバイザーのツール バーで、[設定][設定] を選択します。[モデル アドバイザーの設定] ダイアログ ボックスで [対象外指定を表示] タブを選択します。モデル アドバイザー ウィンドウの右側で [対象外指定] タブを選択すると、モデル アドバイザー解析から対象外指定されたチェックが表示されます。

  • モデル ウィンドウで [解析][モデル アドバイザー][モデル アドバイザー] を選択して、モデル アドバイザーを開きます。

    1. モデル アドバイザー ウィンドウのツール バーで、[強調表示][対象外指定の強調表示] を選択します。既定の設定ではこのメニュー オプションが選択されています。

    2. モデル アドバイザー ウィンドウで [強調表示の有効化] () をクリックします。

    3. モデル アドバイザー ウィンドウの左側のペインでチェックを選択します。チェックから対象外指定されたブロックがモデル ウィンドウに表示され、グレーの背景と黒色の境界線で強調表示されます。

モデル アドバイザーの解析後、各チェックの対象外指定情報が以下の場所に表示されます。

  • HTML レポート。解析前に必ずモデル アドバイザー ウィンドウで [実行後にレポートを表示] チェック ボックスを選択してください。

  • モデル アドバイザー ウィンドウ。モデル アドバイザー ウィンドウの左側のペインで [製品別][Simulink][<チェックの名前>] を選択します。[製品別] フォルダーが表示されない場合、[設定][設定...] ダイアログ ボックスで [製品別フォルダーを表示] を選択します。

チェックの状態HTML レポートとモデル アドバイザー ウィンドウの状態
対象外指定規則が適用されていない。 対象外指定がチェックに適用されていないことが示されます。
対象外指定を実行できない。チェックで対象外指定を実行できないことが示されます。
ブロックから対象外指定されている。チェック対象外指定規則が表示されます。

対象外指定の管理

対象外指定をファイルに保存

  1. [モデル アドバイザーの対象外指定エディター] ダイアログ ボックスで [モデル ファイルに対象外指定を保存] をオフにし、[OK] または [適用] をクリックします。この対象外指定がはじめて作成するものである場合、[対象外指定ファイルに名前を付けて保存] ダイアログ ボックスが開きます。このダイアログ ボックスで [保存] をクリックし、対象外指定ファイルに既定の名前 <model_name>_exclusions.xml を設定して現在のフォルダーに保存します。オプションで、別のファイル名や場所を選択することもできます。

  2. 対象外指定ファイルの名前や場所を変更する場合は、次の手順に従います。

    1. [モデル アドバイザーの対象外指定エディター] ダイアログ ボックスで [変更] を選択します。

    2. [対象外指定ファイルの変更] ダイアログ ボックスで [名前を付けて保存] を選択します。

    3. [対象外指定ファイルに名前を付けて保存] ダイアログ ボックスで、目的の場所に移動し、ファイル名を入力します。[保存] をクリックします。

    4. [モデル アドバイザーの対象外指定エディター] ダイアログ ボックスで [OK] または [適用] を選択して対象外を指定し、情報を対象外指定ファイルに保存します。

対象外指定ファイルの読み込み

モデルで使用する既存の対象外指定ファイルを読み込むには、次の手順に従います。

  1. [モデル アドバイザーの対象外指定エディター] ダイアログ ボックスで [モデル ファイルに対象外指定を保存] をオフにします。[変更] をクリックします。

  2. [対象外指定ファイルの変更] ダイアログ ボックスで [読み込み] をクリックします。

  3. モデルで使用する対象外指定ファイルに移動します。[開く] を選択します。

  4. [モデル アドバイザーの対象外指定エディター] ダイアログ ボックスで [OK] をクリックして、対象外指定ファイルをモデルに関連付けます。

対象外指定ファイルの分離

モデルに関連付けられている対象外指定ファイルを分離するには、次の手順に従います。

  1. [モデル アドバイザーの対象外指定エディター] ダイアログ ボックスで [モデル ファイルに対象外指定を保存] をオフにします。[変更] をクリックします。

  2. [対象外指定ファイルの変更] ダイアログ ボックスで [分離] をクリックします。

  3. [モデル アドバイザーの対象外指定エディター] ダイアログ ボックスで [OK] をクリックします。

対象外指定の削除

  1. [モデル アドバイザーの対象外指定エディター] ダイアログ ボックスで、削除する対象外指定を選択します。

  2. [対象外指定の削除] をクリックします。

対象外指定への根拠の追加

モデル アドバイザー解析時に選択したチェックから特定のブロックを対象外指定した理由を説明するテキストを追加することができます。この説明は、モデルを確認する人にとって便利です。

  1. [モデル アドバイザーの対象外指定エディター] ダイアログ ボックスで対象外指定の [根拠] フィールドをダブルクリックします。

  2. 現在のテキストを削除します。

  3. このオブジェクトを対象外指定する根拠を追加します。

プログラムによる対象外ファイルの指定

MAModelExclusionFile メソッドで、プログラムによりファイル名を対象外指定できます。

  1. get_param を使用してモデル オブジェクトを取得します。たとえば、sldemo_mdladv の場合は次のようになります。

    mo = get_param('sldemo_mdladv','Object')

  2. MAModelExclusionFile を使用して対象外にするファイル名を指定します。たとえば、S:\work 内のファイル my_exclusion.xml を対象外指定する場合は次のようになります。

    mo.MAModelExclusionFile = ['S:\work\','my_exclusion.xml']

  3. [モデル アドバイザーの対象外指定エディター] ダイアログ ボックスを開きます。[対象外指定ファイル] フィールドには、対象外指定ファイルおよびパスが表示されます。

編集時の対象外指定

編集時におけるチェックの除外

モデルを編集する際に、ブロックをモデル アドバイザーの解析対象から除外することができます。Simulink エディターを通して指定された、適用可能なモデル アドバイザーの対象外指定は、編集時にも適用されます。

編集時にブロックをモデル アドバイザーの解析対象から除外するには、次を行います。

  1. コマンド プロンプトで sldemo_fuelsys を開きます。

  2. 編集時のチェックで表示可能な警告を生成します。数字 9Engine Speed ブロック名の先頭に付け加えます。この数字は、Check character usage in block namesに違反します。

  3. メニュー バーで、[解析][モデル アドバイザー][アドバイザー チェックをエディターに表示] を選択します。Scope ブロックに警告 Block name has incorrect characters のフラグが立ちます。

  4. Engine Speed ブロックをモデル アドバイザーの解析対象から除外するには、次のいずれかを行います。

    1. ブロックを右クリックして、[モデル アドバイザー][ブロックのみを除いて][チェックの選択] を選択し、チェックを選択する。

    2. 警告アイコンをクリックし、[無視] ボタンをクリックする。このブロックに対し [無視] をクリックすると、モデル アドバイザーの解析に対象外指定が追加されます。

ブロックはそのチェックについてモデル アドバイザーの解析対象から除外され、強調表示されなくなります。このプロセスを他の編集時の警告について繰り返すことができます。

メモ

編集時の対象外指定のリストは、モデル アドバイザーと編集時のチェックで共有されます。

関連する例

詳細