Play now
動画再生
Play now
動画再生
Close
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
完全自動化されたBack-to-back テスト、Regressionテスト、
マイグレーションテスト（自動テスト生成機能を含む）
Back-to-back Testはモデルと量産コードの間のBack-to-backテスト（自動テスト生成機能を含む）を高度に自動化する機能を提供します。このパッケージは、Back-to-back テストを完全にプッシュボタン方式のソリューションにすることができます。
モデルベース開発ではISO 26262で推奨されているBack-to-backテストによりモデルとコードの振舞いが同じであることを示すことは非常に重要です。
組込みソフトウェアプロジェクトの開発プロセスがアジャイルになるにつれて、異なるバージョンのモデルやコードを自動的に比較するRegressionテストの重要性がさらに高まっています。
マイグレーションテストは開発ツールチェーン（MatlabやTargetLinkなど）の新しいバージョンへのアップグレード時に、モデルやプロダクションコードの振舞いが変わらないことを自動的に検証できます。
Simulink, TargetLink, 手書きCコード、およびdSPACE評価ボード(PIL)を対象とした要求ベーステストです。要求ベーステストで使用したテストケースは、Back-to-backテストにスムーズに再利用できます。
組み込みソフトウェア開発、モデルベースデザイン、自動コード生成、ISO26262準拠のテストに関する情報の公開
短い動画で当社製品の主な機能をご覧ください。
形式手法と自動テスト生成により強化され、高度に自動化された先進的要求ベーステスト
Copyright © 2022 BTC Embedded Systems & BTC Japan
