STIMULUS

エンドツーエンドの要件に基づいた検証ソリューション

STIMULUS では、システム・アーキテクトが仕様フェーズで要件をシミュレートし、あいまいな要件、不正確な要件、欠落している要件、矛盾する要件を設計開始前に検出できるため、安全性が重視される組み込みシステムの検証に必要な高品質な仕様を作成できます。

開発チームは、要件の再定義、コードの書き換え、再デバッグに費やす時間を短縮し、高品質な結果を達成するために必要な開発の反復を減らすことができます。

詳細はこちら

STIMULUS では、検証フェーズにおいて、テスト・エンジニアがテスト・ベクトルとテストの目標を自動的に生成することや、組み込みコードがその仕様に準拠していることを確認することもできます。

テスト・チームは、テスト・ケースを要件から手動で派生させて記述し、管理するのではなく、システム・アーキテクトが行った作業を再利用して、非常に柔軟なテスト・キャンペーンを構築し、効果的なアジャイル手法を採用できます。

詳細はこちら

主なメリット

  • 早期に要件を検証
  • 明確で観察可能な要件をエンジニア間で共有
  • テスト・キャンペーンの機能カバレッジを最大化
  • コストのかかる反復を開発プロセスから削減

主な機能

  • テキスト要件を読みやすい形式言語で表現
  • 状態機械とシステム・アーキテクチャをモデル化
  • 指定したシステムの想定される実行を観察
  • 多数のテスト・ケースを自動的に生成

この動画では、仕様フェーズでの機能要件の早期検証から、システム機能テストを自動化するテスト・ベクトルおよびテスト・オブザーバの自動生成まで、STIMULUS によって、Requirements-In-the-Loop シミュレーションを使用したモデルベースのシステムズ・エンジニアリングが大幅に改善されることを説明しています。