このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

要件リンク

Simulink^® Requirements™ を使用して、要件とさまざまな Simulink モデル要素 (ブロック、Stateflow^® オブジェクト、Simulink Test™ テスト オブジェクト、Simulink データ ディクショナリ エントリ、MATLAB^® コード行、その他の要件など) との間にリンクを作成し、要件がモデル設計にどのように関連しているかを追跡します。

ブロックおよび Stateflow オブジェクトへのリンクは、Simulink エディターから、要件パースペクティブ ビューの [要件ブラウザー] で要件をドラッグすることによって作成できます。Simulink Test テスト オブジェクトへのリンクは、テスト マネージャーから、または要件エディターから作成できます。Simulink モデル要素を要件にリンクする場合の詳細については、ブロックと要件のリンクおよび要件からテスト ケースへのリンクを参照してください。

要件リンクは、要件のカスタム ID に対してではなく、要件の SID (Session Independent Identifier) に接続されます。

リンク可能な項目

要件項目、モデル エンティティ、テスト アーティファクト、およびコード間でリンクを作成できます。

• SimulinkRequirements オブジェクト:

  • slreq.Requirement オブジェクト

  • slreq.Reference オブジェクト

  • slreq.Justification オブジェクト

• Simulink エンティティ

  • ブロック

  • サブシステム

  • データ ディクショナリ

• Stateflow オブジェクト:

  • ステート

  • チャートとサブチャート

  • 遷移

• SimulinkTest オブジェクト:

  • テスト ファイル

  • テスト スイート

  • テスト ケース

  • 反復

  • 評価

• MATLAB コード行

• System Composer™ アーキテクチャ モデル

MATLAB 構造体を作成することにより、URL などの外部アーティファクトをリンク先として設定できます。次の 2 つの方法を使用できます。

1. リンク先の構造体を作成する。

   myLinkDest = struct('domain', 'linktype_rmi_url', 'artifact', ...
    'www.mathworks.com', 'id', '')
   
   myLinkDest = 
   
     struct with fields:
   
         domain: 'linktype_rmi_url'
       artifact: 'www.mathworks.com'
             id: ''
   
   % Create a link between requirement myReq and mylinkDest
   slreq.createLink(myReq, myLinkDest);

2. rmi('createempty') を使用して要件リンクのデータ構造体を作成する。rmi を参照してください。

リンク タイプ

設計の要素が要件にどのように関連付けられているかを追跡するには、要件リンクのリンク タイプを指定します。リンク タイプは、要件が上位レベルの要件から派生している場合など、要件同士のリンクの性質も表します。

Simulink Requirements は次のリンク タイプを提供します。

タイプ	説明
次に関連	要件とモデル要素の間の一般的な関係。このリンクは双方向です。
実装元	この要件を実装するモデル要素を指定します。これらのリンク タイプは、実装の状態メトリクスの対象となります。
実装
検証元	この要件が満たされることを検証する検証モデル要素またはテスト ケースを指定します。これらのリンク タイプは、検証の状態メトリクスの対象となります。
検証
派生元	このリンク元アーティファクトから派生されるリンク先アーティファクトを指定します。
派生
調整	リンク元アーティファクトによって指定される機能の詳細を追加するリンク先アーティファクトを指定します。
次で調整済み
確認	要件セットと外部の結果ソース間の関係を指定します。これらのリンク タイプは、検証の状態メトリクスの対象となります。
確認者

リンク タイプを設定するには、要件エディターを開いて [リンクの表示] をクリックします。リンクを選択し、[詳細] ペインの [プロパティ] で、[タイプ] メニューから必要なリンク タイプを選択します。

カスタム リンク タイプも作成できます。詳細については、要件およびリンクのカスタム タイプの定義を参照してください。

要件リンクにはリンク元アーティファクトとリンク先アーティファクトがあります。リンク タイプのほとんどは、リンクの方向と相対的に定義されます。[次に関連] リンク タイプは、2 つのエントリ間の一般的な関係を示します。

[実装]/[実装元] および [検証]/[検証元] リンク タイプは、要件とモデルの関係を表します。実装の状態および検証の状態の概要メトリクスがこれらのリンク タイプから派生するため、これらのリンク タイプをもつ要件に関しては、リンク元アーティファクトとリンク先アーティファクトを正しく指定します。実装状態と検証状態の概要メトリクスの詳細については、要件実装の状態の確認および要件検証の状態の確認を参照してください。

要件リンクの確認

リンクは要件エディターまたは要件ブラウザーで確認できます。要件エディターでリンクを表示するには、[リンクの表示] をクリックします。要件ブラウザーでリンクを表示するには、[表示] ドロップダウン メニューから [リンク] を選択します。

Simulink エディターで作業しているときは、個々の要件の要件リンクを確認できます。要件ブラウザーで、[表示] ドロップダウン メニューから [要件] を選択し、要件を選択します。リンクが、プロパティ インスペクターの [リンク] に表示されます。

既定では、リンク元アーティファクトからの外向きリンクはすべて、リンク セット ファイル (.slmx) に保存されます。要件リンクのストレージの詳細については、要件リンクのストレージを参照してください。

リンクを削除すると、Simulink Requirements はそのリンクの CommentedBy、CommentedOn、または SID を保持しません。

リンクの関連付け

関連付けられたリンクには使用可能なリンク元とリンク先があります。リンク元とリンク先を使用できない場合、そのリンクは関連付けられません。以下に例を示します。

• リンクされたブロックをモデルから削除すると、リンクは関連付けられていない状態になります。

• Simulink Test テスト ファイルなどのリンク元またはリンク先のファイルがメモリに読み込まれていない場合、リンクは関連付けられていない状態になります。

リンク ビューでは、未解決のリンクは で示されます。setSource メソッドと setDestination メソッドを使用してリンクを関連付けます。

リンク情報の読み込み

要件セット、Simulink モデル、データ ディクショナリ、テスト ファイル、MATLAB ファイルなどのアーティファクトに関して、MATLAB またはプロジェクトのパス上にあるアーティファクトに関連するリンク情報はすべて、そのアーティファクトが読み込まれる際に自動的に読み込まれます。

リンク情報の読み込みは、以下のルールでまとめられます。

• ルール 1: MATLAB またはプロジェクトのパス上にある、要件セット、Simulink モデル、データ ディクショナリ、テスト ファイル、MATLAB ファイルなどのアーティファクトを読み込むと、そのアーティファクトの内向き、外向きのリンク セットがすべて読み込まれます。各アーティファクトは、1 つの外向きリンク セットと、他のアーティファクトからのリンク情報を含む 1 つ以上のリンク セットをもつことができます。

• ルール 2: 読み込んだアーティファクトが要件セットへの外向きリンクをもっている場合、その要件セットもリンク情報と共に読み込まれます。この読み込まれた要件セットも、ルール 1 に従って、必要なリンク情報をさらに読み込みます。

これらのルールの適用は、slreqCCProjectStart プロジェクトを使用して、3 つのシナリオで説明できます。次の手順に従います。

1. プロジェクトを開く前に、Simulink のモデルと要件セットをすべて閉じます。

2. MATLAB で slreqCCProjectStart を読み込みます。

   slreqCCProjectStart

3. シナリオ 1:

   1. モデル crs_controller.slx を開きます。

      open_system('crs_controller.slx');

   2. 要件エディターを開きます。

      slreq.editor

   3. 要件エディターに以下の情報が表示されます。

      

      ルール 1 に従って、外向きリンク セット crs_controller.slmx からのリンク情報が読み込まれます。

      ルール 2 に従って、要件セット crs_req_func_spec.slreqx およびリンク セット crs_req.slmx、 crs_controllerdic.slmx、 DriverSWRequest_Tests.slmx、crs_plant.slmx が読み込まれます。

   4. モデルと要件エディターを閉じます。

4. シナリオ 2:

   1. 要件セット crs_req_func_spec.slreqx を開きます。

      slreq.open('crs_req_func_spec.slreqx');

   2. 要件エディターが開き、以下の情報が表示されます。

      Link sets View

      

      ルール 1 に従って、読み込まれた要件セットの内向きリンク情報を含むすべてのリンク セットが読み込まれます。

   3. 要件エディターを閉じます。

5. シナリオ 3:

   1. モデル crs_plant.slx を開きます。

      open_system('crs_plant.slx');

   2. 要件エディターを開きます。

      slreq.editor

   3. 要件エディターに以下の情報が表示されます。

      

      ルール 1 に従って、外向きリンク セット crs_plant.slmx からのリンク情報が読み込まれます。

      ルール 2 に従って、要件セット crs_req_func_spec.slreqx と crs_req.slreqx、およびこれらの要件の内向きリンク情報を含むすべてのリンク セットが読み込まれます。

   4. モデルと要件エディターを閉じます。

リンクを組み込みリンク セットとしてモデルと共に保存する場合は、リンク情報は自動的には読み込まれません。リンク情報は slreq.refreshLinkDependencies コマンドを使用して読み込むこともできます。

リンク情報のアンロード

関連するすべてのアーティファクトをメモリからアンロードすると、リンク情報は自動的にアンロードされます。

リンク セットの削除

リンク セットは .slmx ファイルに保存されています。リンクがメモリに読み込まれているときに .slmx ファイルを削除すると、予期せぬ動作につながる場合があります。

メモ

Simulink モデルに関連付けられているリンク セット ファイルを削除する場合は、リンクが外部に保存されていることを確認してください。Simulink モデルから外部にリンクを保存する方法については、要件リンクのストレージを参照してください。

リンク セットを削除するには、以下を行います。

1. .slmx ファイルを見つけます。既定では、リンクを作成すると、リンク元項目が属するアーティファクトと同じ名前のリンク セットに保存されます。.slmx ファイルは、リンク元アーティファクトと同じディレクトリに保存されます。

2. リンク セットを削除する前に、読み込まれているアーティファクトをすべて閉じることをお勧めします。これには、要件セット、Simulink Test ファイル、MATLAB コード、Simulink データ ディクショナリ、Simulink モデル、Stateflow モデル、System Composer モデルが含まれます。これらすべてのアーティファクトを手動で閉じます。

3. MATLAB コマンド ラインで次のように入力して、読み込まれているリンクをクリアします。

   slreq.clear

4. .slmx ファイルを削除します。

リンク セット ファイルを削除後に、必要に応じてアーティファクトを再度開くことができます。

参考

setSource | setDestination | slreq.refreshLinkDependencies

関連するトピック

• トレーサビリティ マトリクスを使用した要件リンクの追跡
• カスタム属性によるリンクのカスタマイズ
• 要件およびリンクのカスタム タイプの定義