システムの検証

Requirements Portal では、要求事項は 1 つ以上のシステム、またはサブシステムに関連付けられます。これらのシステムは、検証および妥当性確認（V&V）アクティビティによって検証されます。ブロックの要求事項は、単一または複数の V&V アクティビティで検証できます。各アクティビティは 1 つまたは複数の要求事項にリンクでき、1 つ以上のシステムを検証できます。

このチュートリアルのこのパートでは、Requirements Portal を使用して V&V アクティビティを実施する方法を説明し、以下の内容を扱います。

• V&V アクティビティの作成方法。

• V&V アクティビティを要求事項にリンクする方法。

• アクティビティの実行方法。

• Requirements Portal における自動検証方法のデモ。

検証用ビューの作成と読み込み

Requirements Portal には、Identifier、Text、Parents、Children、Type、State、V&V Status、V&V Activities、V&V Blocks、Tags、Properties など、あらかじめ選択されたさまざまな属性が用意されています。しかし、画面が小さい場合は横方向のスクロールが過剰になることがあります。検証プロセスを効率化するために、必要な属性だけを含むカスタムビューを作成できます。では、検証用の新しいビューを作成して読み込みましょう。

1. プロジェクトツリーの Requirements エントリ配下にある Fan_Spec 仕様を開きます。

2. 任意の列ヘッダーにカーソルを合わせ、表示される アイコンをクリックし、続いて アイコンをクリックして利用可能な列の一覧を表示します。

   

3. 一覧内の列をすべて選択解除し、次の列のみを選択します。

   • Text

   • Parents

   • Children

   • V&V Activities

   • V&V Status

   • V&V Rules

   • Applicable Block

   • Tags

   右側から開ける Columns ペインを使って属性を選択／選択解除することもできます。この手順は、フィルターやテーブルのサイズ調整など、列ヘッダーにある追加オプションにも気付けるように示しています。たとえば アイコンは、特定の列に対するフィルタリングオプションを提供します。

4. テーブル内を右クリックし、コンテキストメニューから Save view コマンドを選択します。開いた Save current view ウィンドウで、View name に Verification_View を入力し、Private を選択してから をクリックします。

   

   選択したすべての列、列幅、適用したフィルターは、専用のビューとして保存されます。ビューを保存したら、テーブル内を右クリックし、Load View サブメニューから該当するエントリを選択して読み込めます。

要求事項への検証＆妥当性確認アクティビティの追加

Requirements Portal には、要求事項の検証および妥当性確認に専用の列が 3 つ用意されています（Compliance や Compliance Comment、あるいは検証アクティビティに関連するカスタム列などの追加列とは別です）。

• V&V Activities – 要求事項に関連付けられた V&V アクティビティを表示します。

• V&V Status – 要求事項の検証の全体ステータスを示します。

• V&V Rules – 要求事項と Blocks Module の間で vali を比較することに基づく自動検証です。

1. プロジェクトツリーで Verifications & Validations エントリを展開し、Activities を選択します。

2. ボタンをクリックします。開いた Create V&V Activity ウィンドウで、Name フィールドに Mass Inspection、Description フィールドに This activity measures the mass of the Valifan. を入力し、 をクリックします。

   

3. 次に、新しいアクティビティを Requirements Module の要求事項の 1 つにリンクします。Name 列でアクティビティ名をクリックし、ページ上部の Requirements Statuses コントロールをクリックします。

   

4. 左上の ボタンをクリックします。開いた Link Requirement ウィンドウで、Requirement ドロップダウンから R-Fan-001 を選択し、Block ドロップダウンから Valifan を選択して、 をクリックします。

   

5. アクティビティの指示に従って一括検査を実施したと仮定し、検証ステータスを「検証済み」に設定します。これを行うには、Status 列のセルをダブルクリックし、ドロップダウンから Verified を選択します。

   

これで、手動の検証アクティビティを作成できました。次に、ブロックの vali を要求事項の vali と照合する自動検証を要求事項に対して行う方法を見ていきましょう。

ルールを使用してシステムを自動的に検証する

1. プロジェクトツリーの Requirements エントリ配下にある Fan_Spec 仕様を開きます。

2. R-Fan-001 要求事項の Text 列にある 300 g vali にカーソルを合わせ、ポップアップで名前を確認します。この名前は、Blocks Module の vali とこの vali を比較するルールを作成する際に使用します。

   

   要求事項内の vali は、ポップアップの アイコンをクリックして編集できます。名前、マージンなどのパラメータを調整できます。

3. R-Fan-001 要求事項の V&V Rules 列のセルをダブルクリックします。V&V Rules ウィンドウが開き、要求事項の Valifan mass 300 g を、Blocks Module の Valifan システムの mass vali と比較するルールを定義できます。vali を参照するには $ 記号を使用します。表示されるポップアップでは、名前を入力して vali を検索できます。ルールを次のように定義します。

   $Valifan.Mass<$R-Fan_001.maximum_fan_mass

   Requirements Portal が、テキストボックスの下に実際の関連値を取得して表示している点に注目してください。

   

4. V&V Rules ウィンドウで ボタンをクリックし、その後ウィンドウを閉じます。テーブルでは、要求事項に 1 つのルール（検証済み）が関連付けられ、V&V ステータスの合計が 2/2 になっていることが分かります（質量検査アクティビティも先に検証済みにしているためです）。

   

次のステップは？

おめでとうございます。これで Requirements Portal の使い方が分かりました！

デスクトップファンのプロジェクトをさらに改善していきましょう。いくつかアイデアを挙げます。

• 要求事項に Compliance を追加する。

• 要求事項間に親／子の関係をいくつか追加し、connections graph を確認して、要求事項の色分けに注目する。

• ファンをポータブルにするため、ソーラーパネルのブロックを追加する。ソーラーパネルの太陽角に応じて最大回転数が変わるようにできます。