人が関与する設計
エージェントの確信度が高い場合、ステップは自動で実行されます。確信度が低い場合は不足情報の入力を求め、人がステップを手動で進められます。
BTC TestAgent
製品プレビューエージェントが主導。人がレビューします。
システムレベル HIL テストをエンドツーエンドで自動化し、当社の形式手法と記号的手法によって AI の結果を信頼できるものにする、AI 主導の仮想テスターです。
エージェントワークフローAwaiting Review
要求抽出済み
要求形式化済み
テストケース生成済み
記号的検証済み
HIL で実行済み
要求システムモデルSILHIL
システムレベルテスト生成Powered by BTC QCore
BTC TestStack
コードレベル · 単体・統合 · エンジニア主導
BTC TestAgent
システムレベル（HIL）· エージェント主導 · 信頼性
開発の背景
システムレベルテストの大部分は、今なお手作業です。
現在のシステムレベルテストと HIL（Hardware-in-the-Loop）テストは、大部分が手作業で、専門知識への依存度が高く、時間もかかります。エンジニアは要求を手作業でテストに変換し、実行環境を設定して、結果を一件ずつ判定しています。
生成 AI による高速化が期待されますが、生成 AI だけでは安全関連の検証に十分な信頼性がありません。結果が不完全だったり、もっともらしく見えても誤っていたりする可能性があります。
BTC TestAgent はこの課題を解消します。生成 AI がスピードと自動化をもたらし、実績ある形式手法が信頼性と品質を支えます。これにより、システムレベルテストを 24/7 の自動化された運用へと近づけます。
仕組み
システムレベルテストの全工程。
仕様書を入力すると、その後はエージェントが段階的に進めます。必要な箇所では、常に人が主導権を握れます。
01
要求抽出
仕様書を読み取り、関連する要求を自動的に抽出します。
02
要求の形式化
Universal Pattern 技術を使用して、非形式的な要求を形式化された機械検証可能な要求に変換します。
03
テストケース生成
複数のステップでカバレッジ項目を導出してテストケースを生成し、完全性と正確性も自動で確認します。
テストケース検証ループ
生成したテストケースは、実行前に記号的に検証します。検出事項を生成工程にフィードバックし、不完全または不正確なテストケースを自動で修正します。
05
テスト実行
検証済みのテストケースを、HIL / シミュレーション環境内のテスト対象システムに対して実行します。
06
結果検証
実行結果を形式化された要求に照らして自動評価し、要求カバレッジと完全なトレーサビリティを備えた明確な判定を示します。
テスト実行フィードバックループ
実行結果と判定をワークフローにフィードバックすることで、エージェントはシステムの実際の挙動から学習し、次回の実行を改善します。
組み込み機能
可能なところは自動化し、必要なところは人が操作します。
ステップの手動解除
追加の指示を入力したり、独自の入力を与えてステップを省略したりできるため、ワークフローが停滞しません。
2つのフィードバックループ
検証ループと実行ループにより、エージェントは検証で得た知見と実際の実行判定の両方から、一回の実行中にも複数回の実行をまたいでも学習できます。
自社データを使用
自社のプロセスおよびシステムに固有の文書を入力し、自社環境でエージェントを体験できます。
独自性
厳密さを AI に置き換えるのではなく、AI を厳密に。
中核的な差別化要素
信頼できる AI - AI と形式手法
BTC TestAgent は、当社の記号的手法で生成 AI を補強し、AI の出力を検証可能で信頼できるものにします。
Universal Pattern Technology
当社の形式化技術は、要求を正確で検証可能なパターンとして表現します。これが、テストケースの記号的検証と判定の自動評価の両方の基盤となります。
確信度に基づく自動化
エージェントは、確信がある箇所では自律的に動作し、確信がない箇所では確認を求めます。これにより、自動化のスピードとエンジニアの判断を組み合わせます。
BTC QCore を基盤に構築
形式化、記号的検証、判定評価には、セーフティクリティカルなプロジェクトで長年の実績を持つ BTC Embedded Systems の形式検証技術を使用します。
dSPACE Test Automation SDK との統合
テストの作成と実行には、HIL テストの作成・実行用に dSPACE が提供する抽象 API を使用し、最新の SDV 開発者向けツールとの整合を図っています。
導入前の確認事項
既存の業務プロセスに適合する設計。
- ローカルインストール
- ローカルマシン上で動作するため導入のハードルが低く、既存環境にも適合します。
- クラウド対応
- クラウド対応を見据え、将来的に自社のクラウドおよび HIL 環境へ拡張できるよう設計されています。
- 自社の LLM
- 社内で既に利用可能な LLM（現在は OpenAI クラスのモデル）に接続して動作します。
- 既存のノウハウ
- 新しい手法の採用を強いることなく、既存の HIL テストに関する知識を再利用します。
- 自社データ
- プロセスおよびシステムに固有の文書を追加し、実際のコンテキストでお試しいただけます。
Feel the Quality
厳密さを AI に置き換えるのではなく、AI を厳密に。
BTC TestAgent はこの課題を解消します。生成 AI がスピードと自動化をもたらし、実績ある形式手法が信頼性と品質を支えます。これにより、システムレベルテストを 24/7 の自動化された運用へと近づけます。