loader image

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

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

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

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

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

MathWorks EmbeddedCoder

モデルとコードを一つの環境でテスト

イントロダクション

Embedded Coder

TheMathworksのEmbeddedCoder®は、Simulink/ Stateflowモデルから量産のCコードを生成します。しかしISO 26262に準拠した開発ワークフローでEmbeddedCoderを活用するためにエンドユーザは、Model-in-the-loop(MIL)のテスト、Software-in-the-loop(SIL)のテスト、Back to-backテスト、さらにコードカバレッジの測定も考慮しなければなりません。BTC EmbeddedPlatformは、これらすべての異なるワークフローをISO26262で認証された一つのシンプルな環境に統合しました。

BTC EmbeddedPlatform

Embedded CoderのMIL/SILのテスト

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

テストツールはテスト対象システムに干渉したり、変更を加えてはいけないため、テストハーネスの作成とテストの実行はSimulinkモデルの一時的なコピーで行われます。

これにより、モデルデータとテストデータを別々に扱うことが容易になります。テストハーネスの作成はバックグラウンドで自動で行われるため、ユーザは手動で操作する必要はありません。

BTC EmbeddedPlatformは、SILのテストにおいて、常にオリジナルの量産コードと自動生成された専用のテストハーネスを使用します。

Embedded Coderモデルと生成コードをテストするための製品

製品パッケージ

Formal Test BASE パッケージ

形式手法により強化された

要求ベーステスト

Formal Test パッケージ

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

Formal Verification パッケージ

テストケース記述不要、

数学的に完全な証明

Back-to-back Test パッケージ

後でモデルとコード間のBack-to-backテストが行われるのであれば、ソフトウェアユニットテストをモデルレベルで行うことが可能です

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

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

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

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

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

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

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

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

BTC EMBEDDED SYSTEMSのブログ

ブログ

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

製品動画

動画

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

Back-to-back Test パッケージ

完全に自動化されたBack-to-Backテスト、Regressionテスト、Migrationテスト(自動テスト生成を含む)