BTC TestStack × Simulink

テストと検証をSimulink で。

dSPACE TargetLink と MathWorks Embedded Coder を標準でサポートし、一つのワークフローでモデルと生成された量産コードをテストします。

live_testing · MIL → SIL → PIL
COMPLETE
100%
モデルとコードの MC/DC
ステートメント100%
ブランチ100%
MC/DC100%
MIL ✓SIL ✓PIL ✓

差異 0 件 · 生成済みテストケース 48 件

MATLAB/Simulink · Stateflow · dSPACE TargetLink · MathWorks Embedded CoderPowered by BTC QCore
課題

テストの担い手は開発者へ。

リリースサイクルの短縮に伴い、テストは独立したテストチームから開発者へ移っています。従来、Simulink での開発者テストはモデルへさまざまな入力を手作業で与える作業になりがちで、要求へのトレーサビリティ、テスト自動化、生成コードや CI パイプラインでのテストケース再利用がありませんでした。

1

手動での試行錯誤

モデルへの入力を一つずつ手作業で試します。

2

要求トレーサビリティがない

テストは、チェックする要求にリンクされていません。

3

自動化も再利用もできない

テストケースは生成コードまたは CI パイプラインには引き継がれません。

解決策

Simulink 内でのテスト駆動開発。

BTC TestStack は、認証取得済みのテストと検証の機能を Simulink モデルへ直接統合します。モデルと生成コードの両方を認識する単一のプロジェクトから、MIL、SIL、PIL にわたる要求ベーステスト、Back-to-Backテスト、カバレッジ測定を実行できます。テストハーネスは作成され、最新の状態に維持されます。

Simulink の統合

その場で作成、実行、デバッグ

Simulink リボンからテストを設定・実行し、失敗箇所を元のモデル上でステップ実行して確認します。

MIL / SIL / PIL

モデルとコード、1 つのプロジェクト

モデルと生成コードに対して同じテストを実行し、それらが同じように動作することを証明します。

手動ハーネスなし

テストハーネスを自動管理

ハーネスはバックグラウンドで生成および維持され、モデルの変更に追従します。

主な機能

単体/統合レベルのテストに必要なものを一か所に集約。

7 つの機能、1 つのプロジェクト、個別のツールチェーンは不要。

テスト管理01

BTC TestCase Manager

並べ替え、フィルタリング、グループ化が可能なテーブル、設定可能なキーボードショートカット、保存できるパーソナライズドビューを備えた Web UI。

実行02

モデル上での実行とデバッグ

元の Simulink モデルでテストを実行し、ステップ実行して、テスト主導の高速な反復を実現します。

Back-to-Backテスト03

モデルとコードを自動的に比較

TargetLink または Embedded Coder から自動的に抽出されたテストアーキテクチャを使用して、MIL を SIL および PIL と比較します。

自動テスト生成04

要求またはカバレッジを基準に生成

BTC TestStack は、要求から導出する方法と、構造カバレッジの不足を解消する方法のいずれかで、テストケースを自動生成します。

コードカバレッジ05

ステートメントから MC/DC まで

構造カバレッジとロバストネスカバレッジは、テストやコードの変更に応じて自動更新されます。

AUTOSAR06

ラッパーモデル、自動生成

スケジューリングやクライアント/サーバースタブを含む、ラッパーモデルの自動生成。

要求トレーサビリティ07

ALM/PLM 統合

IBM DOORS、Siemens Polarion、PTC Integrity、Codebeamer、Jama、SystemWeaver と要求・テストを双方向でトレースできます。

BTC TestStack × AI

AI 時代を見据えた設計。

BTC TestStack は、選択した AI モデルに接続します。AI で対話型ワークフローを加速することも、AI に制御を任せて一連のワークフロー全体をオーケストレーションさせることもできます。

内蔵

BTC AI Assistant

テスト対象システムを理解する生成 AI。

ワークフローに組み込まれたチャットアシスタントです。生成モデルと、インターフェース、要求、構造など、BTC TestStack が保持するテスト対象システムのコンテキストを組み合わせ、従来は手作業で作成していた成果物の下書きを生成します。

要求とインターフェースのコンテキストからテストケースを下書き
非形式的な要求を形式仕様へ変換
選択した AI モデルと連携
MCP サーバー

AI エージェント向け

人にも AI エージェントにも使いやすい。

エンジニアが IDE で実行するのと同じ操作を、MCP サーバー経由で AI エージェントにも公開します。エージェントはテストを生成し、検証を実行して結果を読み取ることができます。これにより、エージェントがすでに処理しているループ内で検証を完結できます。

BTC TestStack の操作を MCP ツールとして公開
エージェントが生成と検証を行い、エビデンスを読み取る
チームが利用するアシスタントやエージェントフレームワークと連携
どちらも BTC TestStack につながります
導入効果

5 つの領域でワークフローを短縮できます。

1

モデルとコード用の 1 つのプロジェクト

モデルとその生成コードは 1 つのプロジェクト内に存在し、1 つのテストセットでテストされます。

2

手動ハーネスなし

ハーネスはお客様に代わって構築および保守され、モデルの変更に追従します。

3

認証に基づくエビデンス

ISO 26262 および各業界の関連安全規格に対応する、TÜV SÜD 認証取得済みコンポーネントから結果が得られます。

4

高速な反復

モデル自体でテストを実行・デバッグするため、テストが失敗すると該当ブロックを直接確認できます。

5

自動カバレッジ

ステートメントから 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

評価ライセンスを申請。

お客様の Simulink モデルと生成コードに合わせてセットアップする、当社エンジニアとの導入ワークショップが含まれます。