BTC AI Assistant
テスト対象システムを理解する生成 AI。
ワークフローに組み込まれたチャットアシスタントです。生成モデルと、テスト対象システムに関する TestStack のコンテキスト（インターフェース、要求、構造）を組み合わせ、通常なら手作業で作成する成果物のドラフトを生成します。
要求とインターフェースのコンテキストからテストケースを作成
非形式的な要求を形式仕様に変換
任意の AI モデルに対応
BTC TestStack
あらゆるコードから、信頼を生み出す。
BTC TestStack は、モデルベース、手書き、AI 生成のセーフティクリティカルソフトウェアを対象とし、SDV と AI の時代に向けて設計されたテストと検証のスタックです。
verification_run · 単体 + 統合COMPLETE
要求ベーステスト0/24
全件合格 · 失敗 0 · ブロック 0
構造テスト0%
ユニット全体の MC/DC カバレッジ
0%
ステートメント
0%
ブランチ
0%
MC/DC
形式検証実証済み
0 / 12 証明義務を充足
モデルベース手書きAI 生成
単体・統合検証Powered by BTC QCore
BTC EmbeddedPlatform は BTC TestStack になりました。既存のライセンスは引き続き使用でき、既存ユーザー向けの多くの新機能も利用できます。
認証対象
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
導入企業
100社以上1つのツールですべてのコードに対応
ソフトウェアの書き方は、もはや一つではありません。
現在、一つのエンジニアリングチームが、モデルベースコンポーネント、手書き C/C++、そして増え続ける AI 生成コードを併用しています。BTC TestStack は、あらゆる種類のコードを単一の認証済みスタックでテストするための最適な選択肢です。
01
モデルベース
Simulink モデルと、dSPACE TargetLink または Embedded Coder で生成した量産コード。
02
手書き
ドライバー、ライブラリ、統合ロジックは C/C++ で直接記述されています。
03
AI 生成
アシスタントやエージェントが仕様から直接生成したコード。
3つの利用形態
いつもの開発環境で使えます。
1つのスタックで、対話型ワークフローの3つの接点に対応します。
手書き・AI 生成 C/C++
エンジニアが書くコードも、AI が書くコードも検証。
手書きおよび AI 生成の C/C++ を VS Code エディターで直接テスト・検証でき、Google Test にも対応します。
IDE 上での C/C++ の単体・統合テスト
利用中の ALM/PLM ツールへのトレーサビリティ
MC/DC を含むコードカバレッジ分析を内蔵
Visual Studio Code · BTC TestStack
BTC TestStack × AI
AI 時代のために設計。
BTC TestStack は、任意の AI モデルに接続できます。AI を使用して対話型ワークフローを高速化することも、AI に制御を委ねてエンドツーエンドのワークフローをオーケストレーションさせることもできます。
AI エージェント向け
人にも AI エージェントにも使いやすい。
エンジニアが IDE で実行する操作と同じものを、MCP サーバーを介して AI エージェントに公開します。エージェントはテストの生成、検証の実行、結果の取得ができるため、エージェントが既に作業しているループ内に検証を組み込めます。
BTC TestStack の操作を MCP ツールとして公開
エージェントがエビデンスを生成・検証し、結果を取得
チームが利用するアシスタントやエージェントフレームワークに対応
いずれも BTC TestStack に接続します
ユースケース
1つのスタック、多様なユースケース。
010203040506
要求ベーステスト
Simulink、TargetLink、Embedded Coder、手書きおよび AI 生成コードを対象とする要求ベーステスト。
自動テスト生成
構造カバレッジを完全に達成し、要求からテストケースを自動生成します。
Back-to-Backテスト
ISO 26262 では、モデルとコード間の Back-to-Backテストを強く推奨しています。
CIとクラウド
単体テストと統合テストを CI/CD パイプラインで実行し、コミットのたびに品質上の問題を早期に検出します。
コードカバレッジ
BTC TestStack では、コードカバレッジがバックグラウンドで自動的に計算され、更新されます。
形式手法
セーフティクリティカルシステムを支える証明の力。
環境・統合
利用中のツールに接続。
ツールチェーン
- Matlab/Simulink/Stateflow
- dSPACE TargetLink
- Embedded Coder
- VS Code
- AUTOSAR Classic & Adaptive
- Lauterbach Trace32
- iSystem winIDEA
- Green Hills MULTI
- PLS UDE
- FMU
ALM / PLM
- IBM DOORS
- Siemens Polarion
- PTC Integrity
- Codebeamer
- Jama
- SystemWeaver
CI/CD
- Jenkins
- GitHub Actions
- GitLab
- Azure DevOps
- REST API / OpenAPI
- Docker
AI
- Claude / Claude Code
- DeepSeek
- ChatGPT / Codex
- GitHub Copilot
- AWS Bedrock
- MCP
標準で備わるツール信頼性
TÜV SÜD 認証。
BTC EmbeddedTester BASE、BTC EmbeddedTester、BTC EmbeddedSpecifier、BTC EmbeddedValidator を含む BTC EmbeddedPlatform の後継である BTC TestStack は、セーフティクリティカルなソフトウェア開発プロジェクトでの使用に適しているとドイツの TÜV SÜD の認証を受けています。
この証明書は、複数の産業分野にわたる以下の機能安全規格を対象としています。
ISO 26262自動車
IEC 61508-3:2010産業・業界横断の機能安全
ISO 25119農林業機械
IEC 62304医療機器ソフトウェア
EN 50716鉄道・鉄道用途
ISO 26262 に関して、BTC TestStack は最高の Tool Confidence Level（TCL）で認証されており、ASIL D を含むすべての ASIL レベルに有効です。ご要望に応じて証明書とレポートを無償で提供し、お客様側のツール認定作業の大部分を削減します。
BTC TestStack を選ぶ理由
効果が現れる3つの領域。
多数のツールを単一スタックに
モデルベースコード、手書きコード、AI 生成コードを単一のスタックで扱います。ユースケースごとに別々のツールやライセンスを用意し、それぞれの操作を習得する必要はありません。
信頼できる AI
AI はテスト生成、要求処理、自動化を高速化しますが、エビデンスは引き続き決定論的な認証済み検証から得られます。チームは、セーフティケースを AI に委ねることなく、AI の生産性を活用できます。
監査エビデンスを内蔵
TÜV SÜD 認証済みコンポーネントにはエビデンスが付属し、監査ごとの作業を軽減します。
Feel the Quality
評価ライセンスから開始。
自社コードを用いた環境構築を行う、当社エンジニアとの2時間のワークショップが含まれます。