開発頻度の変化
短い開発サイクルと継続的インテグレーションは、セーフティクリティカル開発でもすでに一般的になっています。テストもマイルストーンの最後ではなく、同じ頻度で実行する必要があります。
BTC TestStack
CIとクラウド
CI/CD パイプラインで単体テストと統合テストを実行し、コミットごとに品質上の問題を早期に検出します。
JenkinsGitHub ActionsGitLab CI/CDAzure DevOpsREST APIMCP
パイプライン · mainコミットごと
コミット
git push · main
ビルド
コード生成 · コンパイル
BTC TestStack · テストと検証
無人実行
MILSILPILカバレッジBack-to-Back
レポートとエビデンス
コミットまで追跡可能
課題
テストをサイクル終盤まで先延ばしにはできません。
セーフティクリティカルソフトウェアにも、短いサイクルや継続的インテグレーションといったモダンな開発手法が広がっています。テストがその速度に追随できなければ、チーム全体の待ち時間になります。
手動テストでは規模拡大に対応できない
手動または半自動のテストでは、コミット頻度に追随できません。フィードバックが遅いと、不具合が発見される前に下流へ波及します。
パイプライン外の結果は信頼されない
パイプライン外で手作業により生成された結果は、再現が難しく、信頼性の判断も困難です。規格に必要なエビデンスは、パイプライン自体から得る必要があります。
解決策
パイプラインに組み込まれた包括的なテスト・検証スイート。
BTC TestStack は CI/CD パイプライン内で MIL、SIL、PIL テストを無人実行し、ISO 26262 および関連する機能安全規格で求められる追跡可能なエビデンスを生成します。
ローカルと同じテストスイートを、コミットごとにパイプラインで実行します。
パイプラインで実行
- 要求ベーステスト、Back-to-Backテスト、リグレッションテスト
- コードカバレッジ解析と、構造カバレッジ向け自動テスト生成
- デッドコード分析
- フォーマルテストと形式検証
- ツールおよびコンパイラーバージョン間の移行テスト
CI/CD ツールチェーンに適合
既存のパイプラインに接続。
一般的な CI 環境すべてに対応し、多用途の REST API と、AI エージェント駆動のパイプライン向け MCP サーバーを提供します。
JenkinsGitHub ActionsGitLab CI/CDBitbucket PipelinesAzure DevOps
REST API
OpenAPIAPI は OpenAPI 標準に準拠しているため、パイプラインを記述した言語からクライアントライブラリを介して呼び出せます。
PythonJavaScriptJavaKotlinNodeRubyTypeScript
MCP
AI エージェントAI エージェントが判断し、プロセスを制御するパイプラインに対応します。BTC TestStack は MCP サーバーを介して機能を公開するため、エージェントはテストを実行し、結果を読み取り、次のステップを判断できます。
Python スキル
コーディングエージェントPython を使用していますか？あらゆるコーディング AI エージェントに BTC のスキルを追加し、自然言語でワークフローを説明するだけで、パイプラインスクリプトを作成できます。
スケーラブル
ワークロードに合わせてテストバックエンドを拡張。
必要な容量に応じてバックエンドの実行場所を選べます。大規模なテストスイートでは水平に拡張し、環境の一貫性を保ちながらコストを管理します。
仮想マシン
バックエンドを仮想マシン上で、クラウドまたはオンプレミスに展開できます。使い慣れた運用方法で、必要な場所に容量を確保できます。
Linux Docker コンテナ
Linux Docker コンテナをクラウドまたはオンプレミスで実行します。インストール不要で再現性があり、毎回同じイメージを使用します。
BTC TestStack × Cloud
完全なクラウドネイティブ構成です。スケーラブルな AWS バックエンドとブラウザベースのフロントエンドを備え、ローカルインストールは不要です。
モダン開発のために設計
CI/CD/CT — モダン開発の基盤。
BTC TestStack は、モダンなパイプラインを支える原則に基づいて設計されています。後から付け足した仕組みではありません。
迅速なフィードバック
数分で、次の対応に活用できる結果を得られます。同じテストをローカルとパイプラインの両方で実行します。
トレーサビリティ
結果は各成果物をコミット、さらに要求まで関連付け、ISO 26262、関連規格、ASPICE への対応を支援します。
すべてをコードとして管理
テスト定義、期待結果、カバレッジ目標をコード化してバージョン管理するため、Git ベースのワークフローに適しています。
継続的テスト（CT）
テストをシフトレフトし、各段階で実行します。ソフトウェアの変更に合わせてテストも進化します。
関連するユースケース
パイプラインで実行されるテスト。
ユースケース
Back-to-Backテスト
ISO 26262 では、モデルとコード間の Back-to-Backテストを強く推奨しています。
ユースケース
リグレッションテスト
ソフトウェアの異なるバージョン間のリグレッションテストは、A-SPICE と ISO 26262 で重要な役割を果たします。
ユースケース
移行テスト
新しいツールのバージョンによってソフトウェアの動作に意図しない変更が生じないようにしてください。
ユースケース
コードカバレッジ
BTC TestStack では、コードカバレッジがバックグラウンドで自動的に計算され、更新されます。
ユースケース
自動テスト生成
完全な構造カバレッジを達成するテストと、要求に基づくテストケースを自動生成します。
ユースケース
要求ベーステスト
Simulink、TargetLink、Embedded Coder、手書きおよび AI 生成コードを対象とする要求ベーステスト。
認証取得済み
BTC TestStack
ISO 26262 認証を取得
この証明書は、複数の業界にわたる機能安全基準に対応しています。
ISO 26262
自動車
IEC 61508-3:2010
産業用/産業横断的な機能安全
ISO 25119
農林業機械
IEC 62304
医療機器ソフトウェア
EN 50716
鉄道・鉄道用途
ISO 26262 に関して、BTC TestStack は最高の Tool Confidence Level（TCL）で認証されており、ASIL D を含むすべての ASIL レベルに有効です。ご要望に応じて証明書とレポートを無償で提供し、お客様側のツール認定作業の大部分を削減します。
Feel the Quality
エンジニアリングチームにご相談ください。
実際のエンジニアリング課題をお聞かせください。評価ライセンス、ワークショップ、個別相談のいずれが次のステップに適しているかをご案内します。