loader image

モデルベース開発向けのテストソリューション

必数百万ものシナリオをどのようにして作成するか?

テスト数の爆発的増大を避けるには?

テストの合格・不合格をどのように見分けるか?

テスト / 検証 / 分析ターゲット

実行記録
(シミュレーションログ)

外部のシミュレーション環境からインポートしたシミュレーションログデータ

イントロダクション

実行記録 (シミュレーションログ)

サードパーティツールでシミュレーションした大量のログデータをお持ちではありませんか?各ログデータは、数百の信号に対する数百万ステップ分の値を含むかも知れません。こういった全てのシミュレーションログが各ステップで全ての要求を満たしているかは確実でしょうか?

シミュレーションログは、開発対象システムの振る舞いを表す重要な情報を持ちます。このシミュレーションログを深く分析することにより、最小の労力でテストの質を向上させることができます。

実行記録 (シミュレーションログ)

対応済みのファイルフォーマット

CSV、ASAM MDF (dSPACE形式/BTC形式)に対応しています。

ユーザ特有のフォーマットについてはご要望に応じてプラグインにて対応が可能です。

柔軟なインポート

スマート・インポート

BTC EmbeddedPlatformはシミュレーションログ内のインタフェースを自動的に検出します。

インタフェースの定義をひとつひとつ手動で入力する必要はありません。

シミュレーションログを検証するための製品

製品パッケージ

Formal Test BASE パッケージ

形式手法により強化された要求ベーステスト

Formal Test パッケージ

形式手法により高度に自動化された

要求ベーステストと自動テスト生成

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

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

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

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

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

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

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

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

BTC EMBEDDED SYSTEMSのブログ

ブログ

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

製品動画

動画

短い動画で当社製品の主な機能をご覧ください。

Formal Test BASE パッケージ

形式手法により強化された要求ベーステスト