Products

BTC EmbeddedPlatform

Formal Test パッケージ

形式手法と自動テスト生成により強化された、高度に自動化された要求ベーステスト

機能紹介

Formal Test パッケージ

Formal Test パッケージは、形式要求の自動テスト生成、要求カバレッジの測定および形式要求に基づいて自動判定を可能にする機能を提供します。

これらの技術を組み合わせることで、テスト結果に高い信頼性をもたらし、時間のかかる手作業から開放されます。

サポートされる機能

形式要求からの自動テスト生成
フォーマルテスト形式化要求カバレッジ計測を含む自動判定計算を含むシミュレーションログに対するオフライン・フォーマルテストを含む
テストケースエディタ
MIL, SIL, PIL シミュレーション
MIL/SIL デバッグ環境エクスポート
モデル/コードカバレッジ計測
Universal Patternによる形式記述
MATLAB API、REST API

FORMAL TESTパッケージ

ユースケース

自動テスト生成

テストケースの自動生成

注：コードへの自動テスト生成は本パッケージには含まれていません。

フォーマルテスト

形式手法により高度に自動化された要求ベーステストと自動テスト生成

要求ベーステスト

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

形式記述

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

FORMAL TEST パッケージ

テスト対象

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