STIMULUS

エンドツーエンドの MBSE とテスト自動化ソリューション

エンドツーエンドの MBSE とは?

多くの場合、従来の MBSE では、要件がプレーン・テキストとしてキャプチャされる SysML の使用に重点を置いています。したがって、これらは検証にもシミュレーションにも含まれません。プレーン・テキストであり、何も生成されないため、一つ一つの機能要件から各テスト・ケースを手動で作成する必要があります。

STIMULUS は、モデリング機能を拡張して機能要件を含めることもできるため、新たなパラダイムをもたらします。すべてのシステム挙動をキャプチャできることで、テストの自動化という新たな可能性が生まれます。テスト・シナリオをキャプチャし、STIMULUS 拘束ソルバーがそれらを使用して、必要な数の入力の組み合わせを生成します。これらのテスト・ベクトルは、仕様をシミュレートするために使用されますが、後でコードをシミュレートするためにも使用されます。STIMULUS はコードの応答を観察し、要件で定義された挙動と比較して、機能テストを完全に自動化します。統合時に、STIMULUS は HIL テスト環境で生成されたログ・ファイルを解析し、統合システムの挙動を要件と比較して要件違反を自動的に検出します。

機能テストの自動化

コードは、STIMULUS によって自動生成されるテスト・ベクトルによってシミュレートされ、出力は、STIMULUS が要件に応じて入出力間の想定される関係と比較して観察します。要件範囲が STIMULUS によって追跡されている間は、膨大な数のテストを自動的に生成・実行できます。

機能要件のシミュレーションと検証

STIMULUS を使用すると、システム・アーキテクトは SysML モデルの使用を拡張して、初めてシミュレーションや検証を実行できる機能要件も含めることができます。要件の欠落、競合、誤りなどの多くのエラーを早期に検出して修正できます。開発チームは、明確で完全かつ検証済みの要件を受け取ることで、より効果的に作業を行うことができます。

検証チームは、機能要件からそれぞれの機能テスト・ケースを手動で抽出する必要はありません。STIMULUS を使用することで、コードまたはシステムを要件に照らしてすべて自動でテストできるため、ROI が大幅に向上します。ほとんど労力をかけずに多くのテストを生成し、実行することが可能です。

Hardware-In-the-Loop テスト

STIMULUS は、テスト環境が生成するログ・ファイルを自動的に解析し、統合システムのテストをサポートします。ファイルにはテスト中に発生した I/O が含まれ、STIMULUS は要件と比較して要件違反を自動的に検出します。

STIMULUS と CATIA Magic

STIMULUS は、SysML でキャプチャが困難な詳細な挙動にもモデルを使用できるようにします。SysML アーキテクチャ(および関連するシグナル)を STIMULUS にインポートして、詳細な挙動をキャプチャ、シミュレート、検証できるため、CATIA Magic と STIMULUS の間のデジタルな連続性が保証されます。