推奨される一方、セットアップは困難
規格では Back-to-Backテストが求められますが、モデルと生成コードの両方で動作するハーネスを構築するには相応の工数がかかります。
BTC TestStack
Back-to-Backテスト。
生成された量産コードがモデルと同じ動作をすることを、Simulink、dSPACE TargetLink、MathWorks Embedded Coder で自動的に確認します。
MILSILPILSimulinkdSPACE TargetLinkEmbedded Coder
Back-to-Back · Controller_Rev4MIL vs SIL
モデル · MIL
Controller.slx
コード · SIL / PIL
/* Controller_step */
void Controller_step(void) {
real32_T err = ref - fb;
real32_T u = Kp * err;
state = plant(state, u);
out = state;
fb = out;
}
dSPACE TargetLink と Embedded Coder
出力を比較
torque_cmd142.8 ≡ 142.8
mode_outRUN ≡ RUN
1 284 サンプルを比較モデル ≡ コード
課題
モデルとコードの一致確認を手作業のプロジェクトにしない。
Back-to-Backテストは、ISO 26262 および関連する機能安全規格で推奨されています。問いは単純です。生成コードはモデルと同じように動作するか。しかし、手作業で答えを得るのは簡単ではありません。
各所でテストデータを手作業
十分な刺激信号を生成し、多数のサブシステム間で出力を比較する作業は、時間がかかり、反復的で、手作業になりがちです。
モデル変更のたびにすべて再実行
モデルを変更するたびに、両側を再生成、再実行、再比較します。反復のたびに完全なサイクルを回します。
解決策
100% の完全性、手作業 0%。
BTC TestStack は、一つのテストプロジェクト内でモデル（MIL）と量産コード（SIL/PIL）の Back-to-Backテストを自動実行します。dSPACE TargetLink と MathWorks Embedded Coder からアーキテクチャを抽出し、テストケースを生成して両側を実行し、比較結果をレポートします。手作業のハーネスも、手書きのテストデータも不要です。
アーキテクチャを自動抽出
BTC TestStack は TargetLink と Embedded Coder からモデルおよびコードのアーキテクチャを直接読み取るため、ハーネスを手作業で配線する必要がありません。
テストハーネスモデルをオンデマンド生成
大規模モデルではテストハーネスモデルが自動生成されるため、深い階層もセットアップなしで実行できます。
CI/CD
多用途の REST API を介して BTC TestStack を仮想マシン、Linux Docker コンテナ、または AWS 上の BTC TestStack × Cloud でオーケストレーションし、CI 内で無人実行します。
Back-to-Backテストのワークフロー
自動
アーキテクチャ抽出
インターフェイスとサブシステム階層をモデルから直接読み取ります。
自動
テスト生成
MC/DC を含む 100% の構造カバレッジに向けてテストを自動生成します。
両方を実行
両方を実行
モデル上で実行 · MIL
生成コード上で実行 · SIL / PIL
自動
結果を比較
出力は、定義された許容差内でサンプル単位に一致しました。
出力
レポートと差分
コードがモデルから逸脱したサンプルを強調表示する HTML レポートです。
自動テスト生成
モデル検査技術による完全カバレッジ。
Back-to-Backテストを駆動するテストケースは、ランダムな推測で作られるものではありません。BTC TestStack はモデル検査を用いて、すべてのカバレッジ目標へ到達する最小のセットを生成し、到達不能な目標も明らかにします。
ランダムではなく自動生成
モデル検査は構造そのものからテストケースを導出するため、偶然ではなく、構造上必然的に 100% のカバレッジへ到達します。
最小かつ最短のテストセット
すべての目標を満たす、最小かつ最短のテストケースセットです。実行とレビューの負担を抑えます。
到達不能を特定
動的解析により、到達不能な目標と単に未テストの目標を区別します。ギャップを示すだけでなく、その理由まで明らかにします。
入力とキャリブレーションに到達
入力とキャリブレーションへ直接アクセスすることで、要求に基づく機能テストでは見逃す可能性のある動作を明らかにします。
Back-to-Backレポート — Controller_Rev4 · build #482MIL vs SIL
テストケース
24
生成 · モデル検査
モデル ≡ コード
23 / 24
許容差内で一致
差分
1
レビュー対象としてフラグ
MC/DC カバレッジ
100%
| テストケース | モデル（MIL） | コード（SIL） | 最大 Δ | 結果 |
|---|---|---|---|---|
| TC_01 | 142.80 | 142.80 | 0.0e0 | 一致 |
| TC_02 | RUN | RUN | — | 一致 |
| TC_03 | 0.0491 | 0.0491 | 2.1e-7 | 一致 |
| TC_04 | 88.20 | 88.21 | 1.0e-2 | 差分 |
| TC_05 | -1.000 | -1.000 | 0.0e0 | 一致 |
さらに見る
同じエンジン、異なる問い。
Back-to-Backテスト、リグレッションテスト、移行テストはいずれも同じ BTC TestStack エンジンで実行されます。モデル検査によるテスト自動生成と構造比較を組み合わせています。
リグレッションテスト
「変更によって不具合が発生したか？」
変更後もソフトウェアが意図どおりに動作することを、モデルレベル（MIL）またはコードレベル（SIL/PIL）で示します。ボタン操作で実行でき、HTML レポートを生成します。
MIL vs. MILSIL vs. SILnon-AUTOSAR vs. AUTOSAR
移行テスト
「ツールのアップグレードで動作が変わったか？」
コードジェネレーター、コンパイラー、モデリングツール、OS などの新しいツールバージョンでも動作が変わらないことを示します。Jenkins がツールバージョンと OS をまたいでワークフローを実行します。
新しい Simulink バージョン新しい TargetLink バージョン新しい OS
認証取得済み
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
エンジニアリングチームにご相談ください。
実際のエンジニアリング課題をお聞かせください。評価ライセンス、ワークショップ、個別相談のいずれが次のステップに適しているかをご案内します。