モデル要件とカバレッジ データを Web ビューに含める

R2026b

以下のオプションのビューをモデルの Web ビューに含めることができます。

  • モデル要件 (Requirements Toolbox™ が必要)

  • モデル カバレッジ (Simulink® Coverage™ が必要)

オプションの Web ビュー用モデルの準備

Web ビューにオプションのビューを含めるには、モデルに要件またはカバレッジ データが含まれていなければなりません。

  • モデルに要件を追加するには、要件の作成と検証 (Requirements Toolbox)を参照してください。

  • モデルにカバレッジ データを追加するには、カバレッジを有効にしてモデルをシミュレートして、直前のカバレッジ実行の結果を保存します。結果の保存を有効にするには、次の手順に従います。

    1. [コンフィギュレーション パラメーター] ウィンドウを開きます。[モデル化] タブで、[モデル設定] をクリックします。

    2. [カバレッジ] をクリックします。

    3. [カバレッジ解析を有効にする] を選択します。

    4. [結果] セクションで、[ワークスペース変数の最後の実行を保存] を選択します。

    詳細については、コード カバレッジ オプションの指定 (Simulink Coverage)を参照してください。

[Web ビュー] ウィンドウを使用した要件とカバレッジ データの追加

Simulink ツールストリップを使用して、要件またはカバレッジ データを含む Web ビューを作成するには、次を行います。

  1. Simulink ツールストリップの [シミュレーション] タブにある [ファイル] セクションで、[保存] 、 [Web ビュー] をクリックします。

  2. [Web ビュー] ウィンドウで [オプション表示] タブをクリックし、含めるデータを選択します。

    Optional Views tab with "Include requirements and links data" and "Include coverage data" selected

  3. [エクスポート] をクリックします。

[シミュレーション] タブからモデル Web ビューをエクスポートして要件データを含める場合、Web ビューにはモデル内のリンクのみに関する要件とリンクのデータが含まれます。リンクされた要件セット内にあるすべての要件をエクスポートするには、Web ビューでの要件とリンクの表示を参照してください。

slwebview を使用した要件とカバレッジ データの追加

slwebview を使用して Web ビューをエクスポートする場合、"OptionalViews" 引数を使用してオプションのビューを指定します。以下の値のいずれかまたは両方を cell 配列で指定します。

  • "requirements"

  • "coverage"

次に例を示します。

htmlFileName = slwebview(gcs,"OptionalViews", {"requirements" "coverage"})

slwebview を使用してモデル Web ビューをエクスポートして要件データを含める場合、Web ビューにはモデル内のリンクのみに関する要件とリンクのデータが含まれます。リンクされた要件セット内にあるすべての要件をプログラムによってエクスポートするには、slwebview_req (Requirements Toolbox) を参照してください。

要件とカバレッジ データのビューを開く

Web ブラウザーで Web ビューを開きます。Web ビューの表示とナビゲーションを参照してください。Web ビューの左下のパレットに、選択したオプションのビューに対応するボタンがそれぞれ表示されます。

  • 要件リンクをもつモデル要素を表示するには、icon of pencil checking a box ボタンをクリックします。要件リンクの情報を表示するには、強調表示されているモデル要素を選択します。

  • カバレッジ データ ビューにアクセスするには、icon showing a red x and a green checkmark ボタンをクリックします。カバレッジ情報については、モデル要素をクリックします。

Web ビューでの要件とリンクの表示

要件とリンクを別個のペインにリストする Web ビューを作成することもできます。Web ビューを作成するには、次のようにします。

  • [アプリ] タブで [要件マネージャー] をクリックして、[要件] タブを開きます。

  • [要件] タブで、[共有] 、 [モデルを Web ビューにエクスポート] をクリックします。

slwebview_req (Requirements Toolbox) を呼び出すことで、プログラムによって Web ビューを生成できます。

Web ビューでは、リンクされた要件セットからの要件が、モデル ビュー下部のペインに表示されます。要件またはリンクを選択すると、[プロパティ] ペインにプロパティが表示されます。要件がモデル アーティファクトにリンクされている場合、要件を選択するとリンクされているモデル アーティファクトが強調表示されます。

たとえば、テスト ケースの要件へのリンク (Requirements Toolbox)の例で使用されているモデルを Web ビューにエクスポートする場合、Web ビューにこのペインが含まれます。

The requirements pane after exporting the example to web view. The Requirements Tab in the pane is selected, and the requirement set is expanded. The set displays five requirements that include an ID and a summary.

Web ビューでのカバレッジの表示

カバレッジ情報を別個のペインにリストする Web ビューを作成することもできます。Web ビューを作成するには、次のようにします。

  1. [アプリ] タブで [カバレッジ アナライザー] をクリックして、[カバレッジ] タブを開きます。

  2. ツールストリップで [結果エクスプローラー] をクリックします。

  3. 左のナビゲーション ツリーから [設定] を開き、[Web ビュー レポートの生成] を選択して、[適用] をクリックします。

  4. 左のナビゲーション ツリーから [現在の累積データ] を選択します。

  5. ツールストリップで [レポートの生成] をクリックします。

モデル カバレッジの強調表示および解析情報の詳細については、View Coverage Results (Simulink Coverage)を参照してください。slwebview_cov (Simulink Coverage) を呼び出すことで、プログラムによって Web ビューを生成できます。

Web ビューでは、モデル ビューの下にあるペインにカバレッジ情報が表示されます。たとえば、カスケード論理ブロックの MCDC の解析 (Simulink Coverage)の例で使用されているモデルを Web ビューにエクスポートすると、Web ビューにこのペインが含まれます。

The coverage pane after exporting the example to web view. The pane displays the Decision, Condition, MCDC, and Execution results.

参考

関数

トピック