このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
要件の作成と検証
要件と属性を編集し、Requirements Table ブロックの整合性と完全性を解析する
MATLAB® または Simulink® で、要件エディター、要件マネージャー、またはプログラム インターフェイスを使用して要件を作成します。要件のプロパティを使用して、要件に関する詳細をテキスト、イメージ、およびテーブルとして取得します。
Requirements Table ブロックを使用して実行前および実行時にロジックを評価することで、Simulink モデル内の形式的要件を定義します。
要件を Requirements Toolbox™ にインポートすることで、Microsoft® Word、Microsoft Excel®、IBM® DOORS®、IBM DOORS Next などのサードパーティ製ツールと統合します。
カテゴリ
- 要件の作成
MATLAB および Simulink で自然言語の要件を作成する
- 要件のモデル化と検証
要件をモデル化し、Requirements Table ブロックを使用して整合性と完全性を解析する