loader image

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

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

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

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

ユースケース

Regression テスト

モデル/コードのリファクタリング後の比較テストを完全自動化

Introduction

Regression テスト

Regression テストは、変更後(例えばリファクタリング)でもアプリケーションが意図通り振舞いであることを確認するテスト手法です。特にコードの最適化や再構築のような変更においてもアプリケーションの振舞いが同じであることが求められます。SimulinkやTargetLinkのようなツールを使ったモデルベース開発のアプローチでは、Regression テストはモデルレベルまたは量産コードレベルのいずれでも行えます。

BTC EmbeddedPlatformは手作業による工数は0%で100%の完全性を実現できるプロセスを自動的に処理します。

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

MIL vs. MIL / SIL vs. SIL/ PIL vs. PIL

高度に自動化された回帰テスト

BTC EmbeddedPlatformはモデル(MIL)またはコードレベル(SIL/PIL)で行うRegression テストのISO 26262認証を取得しています。

BTC EmbeddedPlatformは、モデル/コードのRegression テストを自動化します。さらに、Regression テストに必要なテストケースは自動的に生成されますので完全にワンクリックで実行できます。

手作業なし

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

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

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-APIやREST-APIを使用すると、テストワークフローを完全に自動で実行することができます。完全に自動化されたRegression テスト(テストの自動生成を含む)を、ユーザの操作なしで順次実行することができます。

BTC EmbeddedPlatformは、Jenkinsなどの継続的インテグレーション/継続的デプロイメントをサポートし、強力で柔軟なREST APIとLinuxベースのコンテナイメージを利用できるため、自社サーバーやクラウド上で、将来のあらゆるテスト自動化ニーズに対応できます。

対象のパッケージ

製品パッケージ

Back-to-back Test パッケージ

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

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

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

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

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

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

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

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

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

BTC EMBEDDED SYSTEMSのブログ

ブログ

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

製品動画

動画

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

Back-to-back Test パッケージ

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