システムの検証

Requirements Portal では、要件は 1 つ以上のシステムまたはサブシステムに関連付けられています。これらのシステムは、Verifications and Validations（V&V）アクティビティを使用して検証されます。Block の要件は、単一または複数の 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. Fan_Spec仕様を開きます（プロジェクトツリーの Requirements エントリの下）。

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

   

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

   • Text

   • Parents

   • Children

   • V&V Activities

   • V&V Status

   • V&V Rules

   • Applicable Block

   • Tags

   右側からアクセスできる Columns ペインを使用して、属性を選択/解除することもできます。ここでは、フィルターやテーブルサイズ変更オプションなど、列ヘッダーで利用できる追加オプションも把握できるよう、この方法を示しています。たとえば、 アイコンでは特定の列に対するフィルタリングオプションを利用できます。

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

   

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

要件への Verification & Validation アクティビティの追加

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 ウィンドウで、Mass Inspection フィールドに 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. ここでは、アクティビティの指示に従って質量検査を実施したものとし、検証ステータスを verified に設定します。これを行うには、Status 列のセルをダブルクリックし、ドロップダウンから Verified を選択します。

   

6. Fan_Spec 仕様を開きます（プロジェクトツリーの Requirements エントリの下）。

7. テーブルでは、V&V Activities 列に割り当てられた V&V アクティビティと、V&V Status 列に Verified 1/1 ステータスが表示されます。

   

これで、手動検証アクティビティの作成が完了しました。次に、要件の vali と block の vali を照合する自動検証を要件に対して行う方法を見ていきましょう。

ルールを使用したシステムの自動検証

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

2. R-Fan-001 要件の Text 列にある 300 g vali にカーソルを合わせ、ポップアップでその名前を確認します。この名前は、この vali を Blocks Module の 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_mass_of_fan

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

   

4. V&V Rules ウィンドウで ボタンをクリックし、その後ウィンドウを閉じます。テーブルでは、この要件に 1 つのルール（検証済み）が関連付けられていることが確認できます。

   

次のステップ

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

引き続き、デスクトップファンのプロジェクトを改善できます。以下はいくつかのアイデアです。

• 要件に Compliance を追加する。

• 要件間にいくつかの親子関係を追加し、connections graph を確認して、要件上の色分けに注目してください。

• ファンをポータブルにするため、ソーラーパネル block を追加する。最大回転速度をソーラーパネルの太陽角度に依存させることもできます。