システム設計の検証

設計された機能モデルやアーキテクチャモデルに対して、静的な検証を実行します。各モデルは目的が異なるため、異なる検証ルールを異なるコンポーネントに適用させるカスタマイズルール設定が可能です。選択・設定したルールに基づいてチェックが実行され、その結果がレポートとしてエディタ上に表示されます。エラーレポート内に出力されているメッセージから、問題の箇所へのリンクがとられているので、効率良くデバッグすることができます。