loader image

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

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

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

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

ユースケース

Back-to-back テスト

モデルとコード振舞いの比較を完全に自動化

イントロダクション

Back-to-back テスト

モデルとコードの間のBack-to-backテストはISO 26262で強く推奨されていますが、Back-to-backテストの準備と実行には課題があります。大規模なプロジェクトではさらに困難になります。これは、完全性を保証するために十分なテストデータを準備しなければならないという事だけではなく、実行やモデルとコードの比較も直感的、かつ効率的に行えないことが多くあるためです。

BTC EmbeddedPlatformは、この課題を0%の労力で100%の完全性まで自動的に処理を実現できます。

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

BTC EmbeddedPlatform

高度に自動化されたBack-to-backテスト

BTC EmbeddedPlatformはISO 26262の認証を取得したモデル(MIL)と量産コード(SIL/PIL)間の自動Back-to-backテストの環境を提供します。TargetLinkおよびEmbedded Coderモデルに対してもモデルおよびコードアーキテクチャの関連するすべての詳細情報が自動的に抽出されます。

BTC EmbeddedPlatformによるBack-to-backテストは、必要なテストケースも自動で生成されるため、完全な自動化を実現できます。テスト生成にはモデルチェック技術も用いられます。この技術はランダムなアルゴリズムとは異なり、必要な目標を満たす最小かつ最短のテストケースが見つかることが保証されているだけでなく、到達不可能であることを数学的に証明できます。

手作業なし

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

BTC EmbeddedPlatformは、Back-to-backテストに必要なテストケースを自動生成します。手作業なしで量産コードの完全な構造カバレッジを達成することができます。これには、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-APIやREST-APIを使用すると、テストワークフローを完全に自動で実行することができます。完全に自動化されたBack-to-backテスト(自動テスト生成を含む)は、ユーザーの操作なしで順次実行できます。

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

関連する製品

製品パッケージ

Back-to-back Test パッケージ

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

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

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

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

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

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

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

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

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

BTC EMBEDDED SYSTEMSのブログ

ブログ

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

製品動画

動画

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

Back-to-back テストパッケージ

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