メインコンテンツ

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

要件の作成と検証

要件と属性を編集し、Requirements Table ブロックの整合性と完全性を解析する

MATLAB® または Simulink® で、要件エディター要件マネージャー、またはプログラム インターフェイスを使用して要件を作成します。要件のプロパティを使用して、要件に関する詳細をテキスト、イメージ、およびテーブルとして取得します。

Requirements Table ブロックを使用して実行前および実行時にロジックを評価することで、Simulink モデル内の形式的要件を定義します。

要件を Requirements Toolbox™ にインポートすることで、Microsoft® WordMicrosoft Excel®、IBM® DOORS®、IBM DOORS Next などのサードパーティ製ツールと統合します。

カテゴリ

注目の例