手作業で作成するテストケース
各テストケースでは入力を一つずつ手入力するため、無効な入力を検出する構造がありません。
BTC TestStack
要求ベーステスト。
要求からテストケースを直接導出。Simulink、dSPACE TargetLink、Embedded Coder、手書きコード、AI 生成コードに対応します。
SimulinkdSPACE TargetLinkEmbedded Coder手書き C/C++AI 生成コード
要求 · DOORS · REQ-142トレーサビリティ確立
enable が設定されると、出力は 200 ms 以内に target までランプ状に変化する。
紐付けられたテストケース
TC_07enable=true, target=80 → 200 ms 以内にランプ状に変化
TC_08enable=false → 出力を 0 に維持
結果を同期 → DOORS2/2 検証済み
課題
テスト自体は簡単です。
テストケースの作成自体は短時間で済みます。要求の変更、コードの再生成、監査への対応を通じて、各テストと検証対象の要求とのリンクを維持することにこそ工数がかかります。多くのチームは、本来この用途向けではないツールで対応しています。
途切れるトレーサビリティ
要求が変更されても、テストケースへのリンクがひそかに古くなり、どのテストを再確認すべきか通知されません。
別の目的で作られたツール
表計算、スクリプト、自作のテストハーネスがテストツールの代わりを務めますが、いずれ限界に達します。
時間のかかるデバッグ
プロジェクトの成長に伴い、失敗した一つのテストを再現して担当者へ引き渡すまでの時間が、リリースのたびに長くなります。
解決策
一つに統合されたワークフロー。ツールの寄せ集めではありません。
BTC TestStack は Simulink、dSPACE TargetLink、MathWorks Embedded Coder に直接接続し、手書き C コード向けのテストプロジェクトも、スタブ生成とコールグラフ解析を含めてセットアップします。要求、テストケース、結果、カバレッジを一か所で管理し、これらは ISO 26262 認証に裏付けられています。
ツールとのネイティブ接続
Simulink、TargetLink、Embedded Coder と直接統合し、一つのプロジェクトでモデルと生成コードをテストします。
C/C++ 向けテストプロジェクトの自動セットアップ
手書きの C/C++ コードでは、BTC TestStack がコールグラフを解析してスタブを生成するため、空のハーネスではなくテストプロジェクトから開始できます。
認証済みエビデンス
すべての結果は TÜV SÜD 認証済みコンポーネントから生成され、ISO 26262 および関連規格に基づくセーフティケースに利用できる状態です。
要求トレーサビリティ
要求トレーサビリティ。
BTC TestStack は API を介して要求管理ツールに直接接続するため、エラーが生じやすい Excel や ReqIF の交換は不要です。リンクは双方向で、テストケースと結果が ALM/PLM ツールへ同期されます。
要求が変更されると、BTC TestStack はその要求とリンクされたすべてのテストケースを強調表示し、変更箇所の差分を示します。スイート全体ではなく、実際に影響を受けるテストだけをレビューできます。
接続先
IBM DOORSSiemens PolarionPTC IntegrityCodebeamerJamaSystemWeaver
トレーサビリティループ
初回インポート
ALM/PLM
要求とテスト仕様をインポート
テストケースを作成
テストケースを実行
テスト実行結果を書き戻す
反復
ALM/PLM
要求とテスト仕様を更新
テストケースをレビューして調整
テストケースを再実行
テスト実行結果を書き戻す
テスト作成
セーフティクリティカルソフトウェアのためのテスト作成。
BTC TestComposer はテスト専用の言語およびエディターです。テストアーキテクチャ全体を把握し、列挙型を自由入力ではなくドロップダウンとして表示するなど、構造によって無効な入力を防ぎます。各テストケースは構造化され、レビュー可能で、要求まで追跡できます。単にコードを実行するだけのスクリプトではありません。
信号ジェネレーター
テストケース内でランプ、ステップ、正弦波などの刺激信号を作成します。
グラフィカルビューアー
入力、期待値、実測値を同じ時間軸上のグラフで確認できます。
柔軟な許容差処理
信号ごとに絶対、相対、時間許容差を設定し、自動的にチェックします。
数式エディター
他の信号を用いた数式として、計算される期待値を定義します。
テストマクロ
一つ以上の信号やキャリブレーションを含む再利用可能な構成要素です。
インテリジェントフィルタリング
失敗した信号やステップだけを表示するなど、重要な情報に絞り込みます。
組み込みの結果ビュー
テスト結果を表とグラフで直接表示します。エクスポートは不要です。
再利用可能なキャリブレーションセット
名前付きのキャリブレーションセットを複数のテストケースに適用し、共通パラメータの一貫性を維持します。
AI によるテスト生成
AI によるテスト生成。
BTC AI Assistant は自然言語の要求を機能テストケースへ直接変換します。統合チャットボットを使って、値を選んだ理由や各ステップの確認内容など、生成されたテストについて受け入れ前に質問できます。
BTC AI Assistant
自然言語の要求
「enable を設定すると、出力は 200 ms 以内に target までランプ状に上昇します。」
生成されたテストケース
TC_07 — enable = true、target = 80 → ランプ ≤ 200 ms
アシスタントに聞く
「このテストで目標値に 80 を使用しているのはなぜですか？」
3 レベルのカバレッジ
3 レベルのカバレッジ。
要求、モデル、コードのカバレッジをまとめて追跡するため、あるレベルのギャップを他のレベルと照らして確認できます。
要求カバレッジ
テストケースでカバーされている要求と、MIL、SIL、PIL における合否を確認できます。
モデルカバレッジ
Simulink と Stateflow のカバレッジをモデル階層全体で集約します。
コードカバレッジ
ステートメントから MC/DC までをバックグラウンドで自動計算・更新します。
カバレッジダッシュボード自動更新
要求
100%
要求 24/24 · 失敗 0
モデル
96%
判定 + 条件 · Stateflow
コード
99%
ステートメント 100% · 分岐 98% · MC/DC
認証取得済み
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
エンジニアリングチームにご相談ください。
実際のエンジニアリング課題をお聞かせください。評価ライセンス、ワークショップ、個別相談のいずれが次のステップに適しているかをご案内します。