loader image

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

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

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

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

ユースケース

マイグレーション テスト

ツールバージョンの変更によって意図しない振る舞いの変化が生じないことの確認

リスクなく、もっと楽に

マイグレーション テスト

モデルベース開発プロセスにおいて、モデリング、コード生成、そしてコンパイラやツールのバージョンの選択は、ソフトウェアの振舞いに影響を与える可能性があります。そのため、特に大規模なプロジェクトでは、ツールのバージョンを変更することには常にリスクが伴います。

例えば、コードジェネレータをアップグレードした後に、生成されたコードの見た目が変わってしまう可能性は高いです。そうしますとソフトウェアが以前と同じように動作しているかどうかを把握するにはどうすればよいのでしょうか。これは、マイグレーションテストで解決できます。

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

新しいツール環境への安全なマイグレーション

高度に自動化されたマイグレーションテスト

完全なマイグレーションテストのワークフローは、様々な環境的な課題も含んでいます。例えば、異なるバージョンのツールやオペレーションシステムでコンテナや バーチャルマシンをセットアップなどがあります。

BTC EmbeddedPlatformは、マイグレーションテストを自動化し、新しいツール環境の信頼性を確保できます。マイグレーションテストに必要なテストケースは自動的に生成され、これによりBTC EmbeddedPlatformを使ったマイグレーションテストは、完全にプッシュボタン方式のソリューションとなりました。

手作業の必要は無い

自動テスト生成へのカバレッジゴール

マイグレーションテストに必要なテストケースは、BTC EmbeddedPlatformが自動生成します。手動で作業することなく、量産コードの完全な構造カバレッジを達成することができます。これには、Statement、Decision、Condition、MC/DC、Domainカバレッジなどのカバレッジゴールが含まれます。自動ベクタ生成エンジンはすべての入力変数とキャリブレーションにアクセスすることができ、手動で作成したテストケースでは判明しなかった問題を検出することが可能になります。

Toogle

Statement Coverage

Toogle

Decision/ Branch Coverage

Toogle

Condition Coverage

Toogle

MC/DC Coverage

Toogle

Function Coverage

Toogle

Function Call Coverage

Toogle

Relational Operator Coverage

Toogle

Division by 0 Coverage

Toogle

Downcast Coverage

Toogle

Switch Case Coverage

Toogle

Equivalence Class coverage

Toogle

Boundary Value Coverage

Toogle

User-Defined Coverage

Toogle

Relational Operator Coverage

Divide and Conquer

階層的アプローチ

BTC EmbeddedPlatformは階層的アプローチ対応です。階層的アプローチを用いることで大きなソフトウェアに対するテスト・検証(自動テスト生成、形式検証含む)でも効果的かつ効率的に実施できます。

BTC EmbeddedPlatformの階層的アプローチでは下位のサブシステムを直接選択してテスト・検証の対象できます。テスト・検証が終わると、全てのサブシステムのテスト結果を積算したレポートが自動生成されます。

モデルとコードに向けて

柔軟なデバッグ機能

BTC EmbeddedPlatformはサンドボックスを生成するというユニークなデバッグアプローチを採用しています。サンドボックスにはテスト対象やテストケースなど、デバッグに必要なファイルの全てのコピーが入っています。サンドボックスはユースケースに応じてSimulinkモデル、Microsoft Visual Studioのプロジェクト、または汎用的なコードベースプロジェクトとして生成されます。これらのサンドボックスは同僚や顧客と簡単に共有することが可能です。サンドボックスで色々と試す中で、元のテスト対象に変更の影響が及ぶこともありません。

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

完全な自動化

テスト自動化&クラウド

m-APIREST-APIを使用すると、検証ワークフローを完全に自動で実行することができます。完全に自動化されたマイグレーションテストは、ユーザーの操作なしで順次実行することができます。

BTC EmbeddedPlatformは、Jenkinsのような継続的インテグレーション/継続的デプロイメントの既製のサポート、強力で柔軟なREST APILinuxベースのコンテナイメージの利用により、将来のあらゆるテスト自動化ニーズに対応し、自社サーバーやクラウドでも利用可能です。

関連する製品

製品パッケージ

Back-to-back Test パッケージ

自動テスト生成機能を含むBack-to-back テスト、Regression テスト、マイグレーションテストの完全自動化

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

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

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

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

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

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

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

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

BTC EMBEDDED SYSTEMSのブログ

ブログ

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

製品動画

動画

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

Back-to-back Test パッケージ

自動テスト生成機能を含むBack-to-back テスト、Regression テスト、マイグレーションテストの完全自動化