必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
形式手法と自動テスト生成により強化された、高度に自動化された要求ベーステスト
Formal Test パッケージは、形式要求の自動テスト生成、要求カバレッジの測定および形式要求に基づいて自動判定を可能にする機能を提供します。
これらの技術を組み合わせることで、テスト結果に高い信頼性をもたらし、時間のかかる手作業から開放されます。
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準拠のテストに関する情報の公開
短い動画で当社製品の主な機能をご覧ください。
モデルチェックテクノロジによって実現された量産CコードとTargetLinkモデルに対する数学的に完全な証明
Copyright © 2022 BTC Embedded Systems & BTC Japan
