Play now
動画再生
Play now
動画再生
Close
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
モデルとコード振舞いの比較を完全に自動化
モデルとコードの間のBack-to-backテストはISO 26262で強く推奨されていますが、Back-to-backテストの準備と実行には課題があります。大規模なプロジェクトではさらに困難になります。これは、完全性を保証するために十分なテストデータを準備しなければならないという事だけではなく、実行やモデルとコードの比較も直感的、かつ効率的に行えないことが多くあるためです。
BTC EmbeddedPlatformは、この課題を0%の労力で100%の完全性まで自動的に処理を実現できます。
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カバレッジなどのカバレッジゴールが含まれます。ベクタ生成エンジンはすべての入力変数とキャリブレーションにアクセスできるようになり、手動で作成したテストケースでは判明しなかった問題を検出することができるようになります。
BTC EmbeddedPlatformは階層的アプローチ対応です。階層的アプローチを用いることで大きなソフトウェアに対するテスト・検証(自動テスト生成、形式検証含む)でも効果的かつ効率的に実施できます。
BTC EmbeddedPlatformの階層的アプローチでは下位のサブシステムを直接選択してテスト・検証の対象できます。テスト・検証が終わると、全てのサブシステムのテスト結果を積算したレポートが自動生成されます。
BTC EmbeddedPlatformはサンドボックスを生成するというユニークなデバッグアプローチを採用しています。サンドボックスにはテスト対象やテストケースなど、デバッグに必要なファイルの全てのコピーが入っています。サンドボックスはユースケースに応じてSimulinkモデル、Microsoft Visual Studioのプロジェクト、または汎用的なコードベースプロジェクトとして生成されます。これらのサンドボックスは同僚や顧客と簡単に共有することが可能です。サンドボックスで色々と試す中で、元のテスト対象に変更の影響が及ぶこともありません。
m-APIやREST-APIを使用すると、テストワークフローを完全に自動で実行することができます。完全に自動化されたBack-to-backテスト（自動テスト生成を含む）は、ユーザーの操作なしで順次実行できます。
BTC EmbeddedPlatform は、Jenkins などの継続的インテグレーション/継続的デプロイメントの既製のサポート、強力で柔軟な REST API、Linux ベースのコンテナイメージの利用により、将来のあらゆるテスト自動化のニーズに対応し、自社サーバーやクラウドでの利用も可能になっています。
組み込みソフトウェア開発、モデルベースデザイン、自動コード生成、ISO26262準拠のテストに関する情報の公開
短い動画で当社製品の主な機能をご覧ください。
自動テスト生成を含むBack-to-back テスト、Regression テスト、マイグレーションテストの完全自動化
Copyright © 2022 BTC Embedded Systems & BTC Japan
