sl_customization ファイルを使用したカスタム要件とリンクタイプの定義 - MATLAB & Simulink

`sl_customization` ファイルを使用したカスタム要件とリンクタイプの定義

Requirements Toolbox™ のすべての要件オブジェクトおよびリンクオブジェクトには、Type プロパティがあります。Type プロパティは、組み込みの要件タイプまたはリンクタイプあるいはカスタム要件タイプまたはカスタムリンクタイプのいずれかになります。カスタム要件タイプとカスタムリンクタイプは組み込みタイプの 1 つのサブタイプとし、そのタイプから機能を継承する必要があります。

あるいは、ステレオタイプを使用して、カスタムプロパティも持つカスタム要件またはリンクタイプを定義できます。詳細については、Define Custom Requirement and Link Types and Propertiesを参照してください。

カスタム要件タイプとカスタムリンクタイプの作成および登録

カスタム要件タイプまたはカスタムリンクタイプを作成するには、次のようにします。

現在の作業フォルダー内に sl_customization.m ファイルを作成します。MATLAB^® の [ホーム] タブで、[新規スクリプト] をクリックします。このコードをコピーして貼り付け、ファイルを sl_customization.m として保存します。
```
function sl_customization(cm)
    cObj = cm.SimulinkRequirementsCustomizer;
end
```
カスタマイズファイルに定義を追加して、カスタム要件タイプまたはカスタムリンクタイプを作成します。

メモ
カスタムリンクタイプは、組み込みリンクタイプからリンクの方向を継承しません。Verify または Confirm 組み込みタイプのサブタイプを作成する場合、組み込みタイプと同じリンクの方向を使用して、テスト項目が検証ステータスの対象になるようにします。詳細については、リンクタイプを参照してください。

たとえば、以下のコードでは、組み込み要件タイプ Container のサブタイプである Heading と呼ばれるカスタム要件タイプが作成されます。また、それぞれ組み込みリンクタイプ Verify と Implement のサブタイプとなる Satisfy および Solve の 2 つのカスタムリンクタイプも作成されます。詳細については、要件タイプおよびリンクタイプを参照してください。
```
function sl_customization(cm)
    cObj = cm.SimulinkRequirementsCustomizer;
    cObj.addCustomRequirementType('Heading',slreq.custom.RequirementType.Container,...
    'Headings for functional requirements');
    cObj.addCustomLinkType('Satisfy', slreq.custom.LinkType.Verify,'Satisfies', ...
    'Satisfied by','Links from verification objects to requirements');
    cObj.addCustomLinkType('Solve', slreq.custom.LinkType.Implement,'Solves', ... 
    'Solved by','Links from implementation objects to requirements');
end
```
カスタマイズを登録します。MATLAB コマンドラインで以下のように入力します。
```
slreq.refreshCustomizations
```
詳細については、slreq.refreshCustomizations を参照してください。

カスタム要件タイプとカスタムリンクタイプは、それらがサブタイプとなる組み込みタイプから、実装ステータスや検証ステータスの対象であるかどうか、またはリンクの方向や影響など、一部の機能を継承します。詳細については、Choose a Built-in Type as a Base Behaviorを参照してください。

要件エディターでのタイプの設定

要件エディターから、要件またはリンクのカスタムタイプを選択できます。要件をカスタム要件タイプに設定するには、[要件の表示] をクリックして要件を選択します。右側のペインの [プロパティ] で、[タイプ] ドロップダウンリストからカスタム要件タイプを選択します。

The Properties section of the Requirements Editor is shown, with the Heading custom requirement type selected from the Type menu.

リンクをカスタムリンクタイプに設定するには、[リンクの表示] をクリックしてリンクを選択します。右側のペインの [プロパティ] で、[タイプ] ドロップダウンリストからカスタムリンクタイプを選択します。

The Properties section of the Requirements Editor is shown, with the Satisfies custom link type selected from the Type menu

参考

要件エディター | slreq.refreshCustomizations