Main Content

slreq.load

要件セットまたはリンク セットの読み込み

説明

myReqSet = slreq.load(reqSetArtifact) は、要件セット myReqSet をメモリに読み込みます。

myLinkSet = slreq.load(linkSetArtifact) は、リンク セット myLinkSet をメモリに読み込みます。

myLinkSet = slreq.load(model) は、model によって指定された少なくとも 1 つの Requirements Table ブロックを含む Simulink® モデルを読み込み、関連するリンク セットをメモリに読み込みます。

[myLinkSet,myReqSet] = slreq.load(model) は、少なくとも 1 つの Requirements Table ブロックを含む Simulink モデルを読み込み、関連する要件セットとリンク セットをメモリに読み込みます。

すべて折りたたむ

この例では、要件セットを読み込んで関連する slreq.ReqSet オブジェクトを返す方法を説明します。

rs = slreq.load("basicReqSet");

入力引数

すべて折りたたむ

読み込む要件セット。string スカラーまたは文字ベクトルとして指定します。

読み込むリンク セット。string スカラーまたは文字ベクトルとして指定します。

読み込む Simulink モデル。string スカラーまたは文字ベクトルとして指定します。モデルには、少なくとも 1 つの Requirements Table ブロックが含まれている必要があります。各ブロックは要件セットに関連付けられています。Configure Properties of Formal Requirementsを参照してください。.slx 拡張子を含める必要があります。

出力引数

すべて折りたたむ

読み込まれた要件セット。slreq.ReqSet オブジェクトとして返されます。

読み込まれたリンク セット。slreq.LinkSet オブジェクトとして返されます。

バージョン履歴

R2018a で導入