要件に照らしてシステムをテスト

テスト・ベクトルとテスト・オラクルを自動的に生成

テスト中のシステムをインポート

テスト中のシステムのコードは、FMI コンポーネントとして簡単にインポートできます。コード生成ツール(Simulink、Scade、ControlBuild など)で完全に生成されるか、C コードを埋め込む場合は STIMULUS によって部分的に生成されます。統合時には、CSV ログ・ファイルをインポートして、実際のシステムの事後解析を実行することもできます。

テスト・ケースを構築

システムをテストするために複数のユース・ケースを定義できます。STIMULUS では、テスト・キャンペーンの機能カバレッジを最大化するために、各ユース・ケースに対して多数のテスト・ベクターが自動的に生成されます。要件は、仕様への違反を検出して報告するテスト・オブザーバとして簡単に再利用できます。

テスト・キャンペーンを実行

テスト・キャンペーンは、ユース・ケースから生成された多数のテスト・ベクターの実行を自動化します。STIMULUS から、要件違反とカバレッジに関する包括的な指標が報告されます。失敗した各テストは、要件違反を解析できるシミュレーション環境で再実行できます。

Requirement-In-The-Loop 検証

STIMULUS では、コードの開発後に、システム要件への準拠を自動的にチェックできます。ブロック図を使用すると、テスト環境を構築し、そこで要件をテスト・オブザーバに挿入できます。テスト中のシステムは、標準 FMI プロトコルを使用して DLL としてインポートされます。こうすると、多数のテスト・ベクトルを生成して実行でき、STIMULUS は、テスト中のシステムの挙動がその仕様に準拠していることを自動的にチェックします。テスト・キャンペーン中、STIMULUS は要件の機能カバレッジに関する包括的な指標も計算し、報告します。

実行中の STIMULUS

以下は、テスト・キャンペーンを実行したときの STIMULUS のスクリーンショットです。右上のウィンドウには、合格したテストと失敗したテストの概要が表示されます。一方、一番下のウィンドウには、失敗したテストに関する正確な指標が表示され、ユーザーは標準的なシミュレーション環境で失敗したテストを再実行できます。