必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
形式手法で強化された高度な要求ベーステスト
Formal Test BASEパッケージは、形式要求に基づいて要求カバレッジの測定や判定の自動化を可能にする機能を提供します。
これによりテストケースに期待値を書く膨大な時間と工数を費やす必要はありません。フォーマルテストは要求ベーステストにおける判定を自動化します。形式要求はコンピュータが読めますのでBTC EmbeddedPlatformはその要求を理解し、実行ログが形式要求を満たしているか、違反しているかどうかを自動で判断できます。
フォーマルテストは、BTC EmbeddedPlatform上で実行されるSL-MIL、TL-MIL、SIL、PILだけでなく、サードパーティツールからエクスポートされた外部の実行ログにも適用できます。
RTT-ObserverはBTC Embedded SystemsとdSPACE社の協力で開発されたテクノロジです。このテクノロジはdSPACE VEOSとHILにおけるテストをリアルタイムのフォーマルテストで強化します。
このアドオンは形式化された要求からRTT-Observerと呼ばれる監視ユニットを生成します。各RTT-ObserverはdSPACE HIL/VEOSシミュレーションを監視し、元となった要求が満たされているか否かをリアルタイムでレポートします。
RTT-ObserverとdSPACE HIL/VEOSの並列実行により、テストに要する労力にはほとんど変化なく、各要求に対するテストの深度を劇的に高めることが可能です。さらにControlDesk Next Generation、AutomationDeskを含むdSPACE製品群との高度な統合により、様々なプロジェクトで快適かつ効率的にRTT-Observerを利用することが可能となっています。
備考: このソリューションを利用するためには別途、dSPACE社の製品であるReal Time Testing (RTT) Observer Libraryが必要です。
詳しくはこちらをご覧ください: www.dspace.com
組み込みソフトウェア開発、モデルベースデザイン、自動コード生成、ISO26262準拠のテストに関する情報の公開
短い動画で当社製品の主な機能をご覧ください。
Formal Test BASE パッケージ + 自動テスト生成
Copyright © 2022 BTC Embedded Systems & BTC Japan
