需求工具箱™(旧称:Simulink Requirem万博1manbetxents™)を使用すると,MATLAB®またはS万博1manbetximulink®内で,要件の作成,リンク,妥当性確認を行うことができますカスタム属性を使用したリッチテキストで要件を作成したり,要件管理ツールから要件をインポートしたりできます。
MATLABコード、系统作曲家™または仿真软件モデル,テストに要万博1manbetx件をリンクできます。このルボックスは,トレサビリティを解析し,実装やテストのギャップを特定します。設計の強調表示とトレーサビリティマトリクスにより,複数の成果物間でリンクが存在する場所をまとめて表示し,ギャップへの対処方法を提案します。要件が変更されると,リンクされている成果物が強調表示されるため,トレーサビリティダイアグラムを使用して影響を受ける上流と下流の成果物を特定できます。万博1manbetx仿真软件設計から生成されたコードには,要件が実装された場所を示すコードコメントが含まれており,レビューに利用できます。
要件テ,ブルを使用して,要件を形式化し,整合性,完全性,正確性を解析できます。また,要件パ,スペクティブを使用すると,設計と要件を同時に表示し,管理できます。万博1manbetx仿真软件で使用する場合は,ドラッグアンドドロップで簡単にブロックへのリンクを作成できます。
業界標準には,IEC认证套件(适用于ISO 26262和IEC 61508)およびDO认证套件(适用于DO-178)により対応しています。
要件の作成および整理
リッチテキスト,カスタム属性,キ,ワ,ドを使用して,要件を定義します。要件の階層を整理して,システムレベルの機能や下位レベルの機能を指定します。
サドパティの要件ルとの連携
IBM®门®下一个,微软®Word, Excel®など、他のソ、スから要件を、ンポ、トして表示します。要件交換形式(ReqIF™)を使用して,西门子极化®ALM™やJama Connect™形式などをサポ,トする,,ルと要件を交換します。
設計,コ,ド,およびテストへの要件のトレ,ス
要件,モデル要素,MATLABコード,データディクショナリ,テストケース,テストハーネスをリンクする“デジタルスレッド”を作成します。外部の要件。嵌入式编码器™からのコ,ド生成レポ,トにリンクを含めます。
形式的要件をモデル化
万博1manbetx仿真软件の需求表ブロックで,論理式を使用した形式的要件を指定します。シミュレーションを使用して,これらの形式的要件の妥当性を確認し,正確性,整合性,完全性の解析を実行します。形式的要件を設計モデルにバesc escンドし,準拠を検証します。
要件と設計の同時操作
要件パースペクティブを使用して,万博1manbetx仿真软件,系统的作曲家,Stateflow®エディタ,で直接要件を表示,作成,整理します。モデルを変更せずにドラッグアンドドロップでリンクを作成し,バッジを使用してモデル内のリンクの位置を確認し,ブロック線図の注釈に要件を入力します。
要件のカバレッジの解析
実装とテストのギャップ,欠落している要件,設計エラ,を特定します。トレ,サビリティマトリクスを使用して,大量の要件,モデル,テスト間のリンクを確認し,リンクを追加することでギャップに対処します。
変更による影響の特定
強調表示されたリンク要素を確認することで,要件や仿万博1manbetx真软件测试™でのテストケースの変更による影響を把握します。トレサビリティダアグラムを作成して,リンクされている項目を可視化し,それらの項目に移動します。
Matlabコ,ドとテストへの要件のトレ,ス
MATLABコード内の個別の行と外部ドキュメントの要件情報との間のトレーサビリティリンクを作成,管理し,それらのリンクを使用して移動します。Matlabエディタ,でトレ,サビリティを強調表示し,実装やテストのギャップを特定します。
製品リソ,ス:
以前のプロジェクトでは,要件のカバレッジ解析を手動で行っており,その評価は主観的なものでした。万博1manbetx仿真软件,仿真软件覆盖,需求工具箱を導入することでこの解析を自動化し,客観的なカバレッジメトリクスを得られるようになったことで,認証取得のための要件レビューに費やす時間を最大30%短縮できました。」
Massimiliano Campagnoli, Alenia Aermacchi