Products

BTC EmbeddedPlatform

Formal Test BASE
パッケージ

形式手法で強化された高度な要求ベーステスト

機能紹介

Formal Test BASE パッケージ

Formal Test BASEパッケージは、形式要求に基づいて要求カバレッジの測定や判定の自動化を可能にする機能を提供します。

これによりテストケースに期待値を書く膨大な時間と工数を費やす必要はありません。フォーマルテストは要求ベーステストにおける判定を自動化します。形式要求はコンピュータが読めますのでBTC EmbeddedPlatformはその要求を理解し、実行ログが形式要求を満たしているか、違反しているかどうかを自動で判断できます。

フォーマルテストは、BTC EmbeddedPlatform上で実行されるSL-MIL、TL-MIL、SIL、PILだけでなく、サードパーティツールからエクスポートされた外部の実行ログにも適用できます。

サポートされる機能

フォーマルテスト形式要求カバレッジ測定を含む自動判定を含む
実行ログのOffline Formal Testを含む
テストケースエディタ
MIL, SIL, PIL シミュレーション
MIL/SIL デバッグ環境エクスポート
モデル/コードカバレッジ計測
Universal Patternによる形式喜寿る
MATLAB API, REST API

FORMAL TEST BASE パッケージ

ユースケース

フォーマルテスト

形式手法で強化された高度な要求ベーステスト

形式記述

直感的な安全要求の形式記述

要求ベーステスト

Simulink、TargetLink、手書きCコード、dSPACE評価ボード（PIL）に対する要求ベーステスト

FORMAL TEST BASEパッケージ

テストの対象

Mathworks Simulink

Model in the Loopシミュレーション

dSPACE TargetLink

Model in the Loop シミュレーション
Software-in-the-Loopシミュレーション

Mathworks Emedded Coder

Model in the Loop シミュレーション
Software-in-the-Loopシミュレーション

dSPACE評価ボード

Processor in the Loop シミュレーション

Cコード

Software-in-the-Loopシミュレーション

dSPACE HIL / VEOS

Hardware-in-the-Loop シミュレーション

汎用的な実行ログ

外部シミュレーション環境からインポートした実行記録（CSV、MDF）

機能安全規格認証

ISO 26262

BTC EmbeddedPlatformがセーフティクリティカルなソフトウェア開発プロジェクトでの利用に適していることは、ドイツTÜV SÜDによって認証されています。この認証はIEC 61508-3:3010, ISO 26262, EN 50128, IEC 62304, ISO 25119を含む複数の標準規格に言及しています。自動車用機能安全規格ISO 26262に関しては、ツール信頼レベルの中で最も高いTCL3で認証を受けており、この認証はASIL-Dを含む全てのASILレベルに対して有効です。認証書と認証レポートは要望に応じてツールユーザ様に無償で提供しています。この認証書はツール認定(Tool Qualification)に要するお客様側の労力を大きく削減致します。

評価用ライセンスの申し込み

私たちの製品を試してみたいと思っていただけたのであれば、喜んで無償の評価用ライセンスを発行致します。御希望であれば評価に無償のツールトレーニングもお付けします。ツールトレーニングは他社と合同ではなく、あなた専用で行います。

セールスエンジニアとのミーティング予約

質問をしてみたかったり、ツールが動いているところを見てみたいという方は下のリンクからミーティングをご予約ください。セールスエンジニアリングチームのメンバーが喜んでご対応致します。

評価用ライセンスの申し込み

セールスエンジニアとのミーティング予約

BTC EMBEDDED SYSTEMSのブログ

ブログ

組み込みソフトウェア開発、モデルベースデザイン、自動コード生成、ISO26262準拠のテストに関する情報の公開

Blog

6月 2, 2025

なぜソフトウェアのユニットテストはShift-Leftテストの基盤とされているのか？

Shift-Leftテストは、信頼性が高くスケーラブルなSDV開発に不可欠です。
重大な不具合が深刻化するのを最も防げるのは、どのテストレベルか？
従来型または社内開発のテストソリューションは、SDV開発のスピードに対応できるのか？

Nabile Khoury

Paris, France

Blog

5月 19, 2025

テスト駆動開発と生成AIの出会い

大規模言語モデル（LLM）が自然言語の要件から直接テストケースを生成する方法
AI がエッジケースの発見と全体的なテスト範囲の向上にどのように役立つかを説明します。
生成AIがテスト駆動開発（TDD）のワークフローの効率と知能性をどのように高めるか。

Artem Oppermann

Oldenburg, Germany

Blog

3月 26, 2025

“シフトレフト”テストアプローチが単なる流行語ではなく、実際に必要不可欠である理由

“シフトレフト”は、最近よく目にしたり耳にしたりする新しい流行語のひとつです。
シフトレフトとは何を意味し、なぜそれが重要なのか？
新しいテスト手法を導入するには、適切なツールだけでなく、企業文化の変革も必要です。

Wolfgang Meincke

Stuttgart, Germany

Blog

2月 17, 2025

モデルベース開発アプローチの3つの理由

2000年代初頭、ソフトウェアの複雑化が進んだことで、Cコードやアセンブリコードを直接開発するのではなく、人間の思考により近いモデルベース開発アプローチを採用する動機となりました。
モデルベース開発は“左シフト”アプローチを促進し、問題を早期に発見することで自動車開発ライフサイクルのコストを削減します。
モデルベース開発はプロセスを複数のフェーズに分割することを可能にし、それぞれのエンジニアやソフトウェア開発者が自分の専門分野に集中して作業できるようにします。