メインコンテンツ

要件実装の進行状況の追跡

要件エディターで実装ステータスを表示して要件の実装の進行状況を追跡できます。Requirements Toolbox™ は、要件セット内の各機能要件をチェックして実装リンクがあるかどうかを確認し、その結果を、要件セットの全体的な実装の進行状況を反映するステータスに集約します。

チュートリアルのこの手順では、myAddReqs 要件セットの実装ステータスを表示し、MATLAB® コード リンクのリンク タイプを Implement に変更し、実装ステータスでの myAddTestSpecification の要件の対象外指定を正当化します。

実装ステータスの表示

myAdd プロジェクトを開きます。

openProject("myAdd");

要件エディターで myAddReqs の要件セットを開きます。

slreq.open("myAddReqs");

実装ステータスを有効にします。[ビュー] セクションで、[要件の表示][表形式ビュー] を選択してから、[列][実装ステータス] を選択します。[リフレッシュ] をクリックして、Requirements Toolbox が実装リンクの機能要件を解析していることを確認します。

The implementation status for myAddReqs is shown in the Requirements Editor. The status bar is empty. The mouse points to the status bar and displays the tooltip.

実装ステータス バーが空白の場合、要件に実装リンクがないことを示しています。要件セットの実装ステータス バーをポイントして、実装ステータスの詳細を表示します。ツールヒントは、要件が実装されていないことを示しています。

MATLAB コードへの要件のリンクで、要件と、それを実装する myAdd 関数の間のリンクを作成しましたが、実装ステータスには、要件に実装リンクがないと示されています。Requirements Toolbox では、要件と MATLAB コードの間のリンクを作成すると、既定でリンク タイプが Relate に設定されます。実装ステータスは、タイプが Implement に設定されたリンクのみをチェックします。

リンク タイプの変更

要件エディターで、[リンクの表示] をクリックします。myAdd~m.slmx の最初のリンクを選択します。右側のペインの [プロパティ] で、[タイプ]Implements に設定します。

In the Requirements Editor, link #! is selected in the myAdd~m link set. In the right pane, under Properties, the mouse points to the Implements menu item in the Type menu.

リンク セット内の他のリンクについても、リンク タイプを Implements に設定して、リンク セットを保存します。[要件の表示] をクリックして、更新された実装ステータスを表示します。

The requirement set with four requirements. The tooltip shows four requirements with implement type links.

実装ステータス バーが青色の場合、要件が実装されていることを示しています。実装ステータスのツールヒントは、myAddReqs の要件のうち 4 つに実装リンクがあることを示しています。

テスト要件の対象外指定の正当化

要件エディターで myAddTestSpecification 要件セットを開きます。

slreq.open("myAddTestSpecification");

myAddTestSpecification のテスト要件は機能設計の動作を指定するものではないため、実装する必要はありません。各要件を正当化にリンクして、実装ステータスでの対象外指定を正当化します。要件 1.1 を右クリックし、[正当化][実装用に新しい正当化とリンク] を選択します。

Requirements Toolbox は、myAddTestSpecification 要件セットに正当化の階層を追加します。この手順を要件 1.2 および 2.1 から 2.4 に繰り返してから、要件セットを保存します。

The implementation status is shown for the myAddTestSpecification requirement set. The mouse points to the status bar and displays the tooltip.

実装ステータス バーが青色の場合、その要件の実装ステータスの対象外指定が正当化されていることを示します。要件セットの実装ステータス バーのツールヒントは、要件セット内の 8 つの要件のうち 6 つで、実装ステータスの対象外指定が正当化されていることを示しています。

要件タイプの変更

Requirements Toolbox は、実装ステータスについて、タイプが Functional に設定された要件の実装リンクをチェックします。myAddTestSpecification では、概要が Validity checks および Functional tests の要件はテスト要件のコンテナーとして機能します。しかし、これらの要件は、タイプが Functional に設定されているため、実装ステータスに含まれています。要件エディターで要件を選択し、右側のペインの [プロパティ][タイプ]Container に設定して、両方の要件の要件タイプを変更します。要件セットを保存します。

In the Requirements Editor, requirement 1 in myAddTestSpecification is selected. In the right pane, under Properties, the Container menu item is selected in the Type menu.

要件エディターは、実装ステータスからコンテナー要件を除外します。ツールヒントは、要件セット内の 6 つの機能要件が正当化されていることを示しています。

The implementation status is shows and the mouse points to the status bar, displaying the tooltip.

参考

アプリ

クラス

トピック