需求的工具箱

要件の作成および整理

リッチテキスト,カスタム属性,キ,ワ,ドを使用して,要件を定義します。要件の階層を整理して,システムレベルの機能や下位レベルの機能を指定します。

サドパティの要件ルとの連携

IBM®®下一个,微软®Word, Excel®など、他のソ、スから要件を、ンポ、トして表示します。要件交換形式(ReqIF™)を使用して,西门子极化®ALM™やJama Connect™形式などをサポ,トする,,ルと要件を交換します。

設計,コ,ド,およびテストへの要件のトレ,ス

要件,モデル要素,MATLABコード,データディクショナリ,テストケース,テストハーネスをリンクする“デジタルスレッド”を作成します。外部の要件。嵌入式编码器™からのコ,ド生成レポ,トにリンクを含めます。

形式的要件をモデル化

万博1manbetx仿真软件の需求表ブロックで,論理式を使用した形式的要件を指定します。シミュレーションを使用して,これらの形式的要件の妥当性を確認し,正確性,整合性,完全性の解析を実行します。形式的要件を設計モデルにバesc escンドし,準拠を検証します。

要件と設計の同時操作

要件パースペクティブを使用して,万博1manbetx仿真软件,系统的作曲家,Stateflow®エディタ,で直接要件を表示,作成,整理します。モデルを変更せずにドラッグアンドドロップでリンクを作成し,バッジを使用してモデル内のリンクの位置を確認し,ブロック線図の注釈に要件を入力します。

要件のカバレッジの解析

実装とテストのギャップ,欠落している要件,設計エラ,を特定します。トレ,サビリティマトリクスを使用して,大量の要件,モデル,テスト間のリンクを確認し,リンクを追加することでギャップに対処します。

変更による影響の特定

強調表示されたリンク要素を確認することで,要件や仿万博1manbetx真软件测试™でのテストケースの変更による影響を把握します。トレサビリティダアグラムを作成して,リンクされている項目を可視化し,それらの項目に移動します。

要件レポ,トの生成

リンク,変更情報,実装および検証ステ,タスを含むカスタム構成可能なレポ,トを作成します。レポ,トは,設計のレビュ,やドキュメント作成に使用します。

Matlabコ,ドとテストへの要件のトレ,ス

MATLABコード内の個別の行と外部ドキュメントの要件情報との間のトレーサビリティリンクを作成,管理し,それらのリンクを使用して移動します。Matlabエディタ,でトレ,サビリティを強調表示し,実装やテストのギャップを特定します。

阿莱尼亚·马基公司,做- 178 bレベル一認証取得に向けて自動操縦ソフトウェアを開発

以前のプロジェクトでは,要件のカバレッジ解析を手動で行っており,その評価は主観的なものでした。万博1manbetx仿真软件,仿真软件覆盖,需求工具箱を導入することでこの解析を自動化し,客観的なカバレッジメトリクスを得られるようになったことで,認証取得のための要件レビューに費やす時間を最大30%短縮できました。」

Massimiliano Campagnoli, Alenia Aermacchi