loader image

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

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

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

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

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

MathWorks Simulink

Model-in-the-Loop テスト

イントロダクション

Simulink

MathWorks社のSimulink(およびStateflow)は自動車業界において機能のアルゴリズム開発で業界標準ツールとして普及しています。グラフィカルな言語により、機能開発者は、より高度で直感的に抽象化したレベルで作業できます。今後の更に複雑化した機能開発においても作成、レビュー、デバッグ、再利用などの作業は容易に行えます。

Play now
動画再生
Play now
動画再生

優れたインテグレーション

Model-in-the-Loop (MIL)のテスト

BTC EmbeddedPlatformは一つのテスト環境でモデルと量産コードの両方を処理できますが、純粋なSimulinkモデル用のテスト環境も構築できます。これは、コードがまだ利用できないプロジェクトの初期段階において特に重要です。

テスト環境は自動的に構築され、ユーザが手動で作業する必要はありません。BTC EmbeddedPlatformはモデルのアーキテクチャを解析し、サブシステム、ポート、パラメータ、テストポイント、データ型、範囲を検出します。

テスト対象システムの変更、テストハーネスの作成と実行はSimulinkモデルの一時的にコピーして行われます。これにより、モデルとテストデータを独立して管理することが容易になります。テストハーネスの作成はバックグラウンドで行われ、手動での作業は必要ありません。

SIMULINKモデルをテストするための製品

製品パッケージ

Requirements-basedテスト パッケージ

Simulinkモデルに対するRequirements-basedテスト

Formal Test BASE パッケージ

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

Formal Test パッケージ

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

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

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

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

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

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

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

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

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

BTC EMBEDDED SYSTEMSのブログ

ブログ

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

製品動画

動画

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

Requirements-basedテスト パッケージ

Simulinkモデルに対するRequirements-basedテスト