static bool handle_overcurrent(void){if (current_mA > MOTOR_MAX_CURRENT_MA){fault_status.overcurrent = true;motor_set_state(MOTOR_STATE_FAULT);log_event(EVENT_OVERCURRENT_FAULT);return true;}return false;現在、品質は開発者が担っています。しかし、その品質を証明するツールは、まだ IDE に十分統合されていません。日々、3 つのギャップが生じています。
カバレッジ確認、トレーサビリティ更新、結果レビューのたびに VS Code を離れ、gcov／lcov／gcovr のツールチェーンと格闘し、元の作業箇所を探し直す必要があります。テストはコード作成の一部ではなく、別作業になってしまいます。
不具合はコードを書いた時点で修正するのが最も低コストです。しかし、フィードバックは QA サイクルやナイトリービルドで数日後に届きます。AI がレビュー速度を上回る速さで C/C++ を生成すれば、この差はさらに広がります。
gcov、lcov、gcovr が提供するのはカバレッジ数値であり、ISO 26262 のツール認定エビデンスではありません。5 つのオープンソースツールをつなぎ合わせた未検証のツールチェーンでは、行とブランチまでにとどまり、条件カバレッジも MC/DC も得られません。
普段の開発環境で利用でき、すべての結果を認定済みプロセスで支えるプロフェッショナルな C/C++ テストです。
ワンクリックのカバレッジ測定とスタブ化、エディター内のライブハイライト、デバッグを VS Code から起動でき、別のツールや実行プロセスは不要です。
ビルド構成を維持する必要がなく、カバレッジと堅牢性の結果がエディターに表示されます。同じテストがそのまま CI に引き継がれます。
ステートメントから MC/DC までのカバレッジ、自動生成されるトレーサビリティマトリックス、要求管理ツールへ書き戻される結果を提供します。
6 つの機能、1 つのクライアント、エディター外へのコンテキスト切り替えなし。
要求をインポートしてリンクし、テスト結果を VS Code に書き戻します。DOORS、Polarion、Jama、Codebeamer、SystemWeaver と接続し、要求の変更をリンク済みのテストへ直接反映します。
heatingCoil = high;leds[0] = 1;leds[1] = 1;leds[2] = 1;} else if (state.temperatureStage == 2) {}ステートメント、判定、条件、MC/DC、関数、関係演算子、switch-case の各カバレッジをワンクリックで測定し、行単位・テスト単位の詳細とともにエディター内で直接ハイライト表示します。
欠落している関数と変数は自動的にスタブ化され、すべてのスタブをカスタマイズしてテストに必要な動作をモデル化できます。
static void handle_overcurrent(void){if (current_mA > MOTOR_MAX_CURRENT_MA){fault_status.overcurrent = true;motor_set_state(MOTOR_STATE_FAULT);}カバレッジ情報を並べて表示したまま、VS Code でブレークポイントを設定してコードをステップ実行します。
テスト結果、カバレッジ数値、挙動プロットを網羅し、レビューやセーフティケースにそのまま使用できる HTML レポート。
プレーン C／C++、AUTOSAR Classic／Adaptive に対応し、RTE または ara::com のスタブとハーネスコードを自動生成。
BTC TestStack を支えるモデル検査エンジンとカバレッジエンジンは、テスト対象コードを人が記述した場合でも、AI アシスタントが提案した場合でも決定論的です。GitHub Copilot 向けに構築され、BTC MCP サーバー経由であらゆるエージェントから利用でき、チームがすでに利用しているどのモデルにも対応します。
事後に gcov／lcov／gcovr を手動実行するのではなく、コードの記述中にカバレッジをエディターへ表示します。
維持するビルドディレクトリやターゲットごとのスクリプトは必要ありません。数日ではなく数分で準備が完了します。
要求をリンクすると自動生成され、カスタムスクリプトでつなぎ合わせる必要はありません。
すべての結果を単一の認定プロセスが支えます。5 つのオープンソースツールをつなぎ合わせたものではありません。
BTC TestStack が報告するすべてのカバレッジ指標は、Modified Condition/Decision Coverage（MC/DC）を含め、単なる数値ではなく認定済みのツールプロセスに基づいています。
同じ TÜV SÜD 認証は IEC 61508-3、ISO 25119、IEC 62304、EN 50716 も対象としており、すべてのライセンスに無償で提供されます。
BTC TestStack は、Windows と Linux の両方で GCC および MSVC ツールチェーンをサポートします。
ISO 26262 認証を取得
この証明書は、複数業界の機能安全規格を対象としています。
ISO 26262 に関して、BTC TestStack は最高の Tool Confidence Level（TCL）で認証されており、ASIL D を含むすべての ASIL レベルに有効です。ご要望に応じて証明書とレポートを無償で提供し、お客様側のツール認定作業の大部分を削減します。
同じ認証取得済みスタックを利用できる他の環境と、関連するユースケースをご覧ください。
お客様自身の C/C++ コードを使ってエンドツーエンドにセットアップする、当社エンジニアとの 2 時間のオンボーディングワークショップが含まれます。