要件リンクのモデル アドバイザー チェック
モデル内のすべての要件リンクが要件ドキュメント内に有効な参照先をもっていることをチェックするには、Simulink ツールストリップから [要件] アプリを開きます。[一貫性のチェック] をクリックして、モデル アドバイザーで [要件の整合性チェック] チェックを実行します。
モデル アドバイザーで、要件の一貫性のチェックは次で使用できます。
[製品別] 、 [Requirements Toolbox] 、 [要件の整合性]
[タスク別] 、 [要件の整合性チェック]
メモ
高信頼性システムのモデル化において、モデル要素が要件ドキュメントにリンクされていることをチェックするには、Check for model elements that do not link to requirementsを実行します。
モデル アドバイザー チェック | チェック ID |
---|---|
ドキュメントが欠落している要件リンクを特定 | mathworks.req.Documents |
ドキュメンテーション内の無効な位置を指定する要件リンクを特定 | mathworks.req.Identifiers |
[説明] フィールドと要件ドキュメントのテキストが一致していない選択ベースのリンクを特定 | mathworks.req.Labels |
基本設定と一致しないパス形式をもつ要件リンクを特定 | mathworks.req.Paths |
Simulink からリンクされているが Simulink にリンクしていない IBM DOORS オブジェクトの特定 | N/A |
関連するトピック
- モデル内の要件リンクの検証 (Requirements Toolbox)
- モデル アドバイザー チェックの実行と結果の確認