loader image

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

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

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

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

製品概要

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

ドイツTÜV Süd社によるISO 26262規格の認証取得済み

イントロダクション

BTC EmbeddedPlatformについて

現代の開発プロジェクトでは、各統合レベルに対して十分な品質レベルを確保するためにさまざまなテスト手法を組み合わせる必要があります。例えば、要求ベーステスト、Back-to-backテスト、形式検証などの手法がISO 26262により推奨されています。これらの手法は異なるアプローチで行われますが、共通する部分も多くあります。例えば、どの手法においてもテスト対象システム(SUT)のインタフェースを把握し、シミュレーションやデバッグが行えること、レポートが作成できることは求められます。さらに、要求ベーステストのテストケースをBack-to-backテストに再利用する、などテスト・検証手法間で情報や成果物が共有されることもあります。

BTC EmbeddedPlatformは、ISO 26262に準拠した様々な検証手法に対応するため、共通のデータベースとユーザインタフェースを提供します。複数の手法で必要とされる機能群は一度に提供されるため効率的に再利用できます。これには、テスト対象システムの解析やIBM DOORS、PTC Integrity、Siemens Polarionなどのツールへの要求のトレーサビリティも含まれます。

BTC Embedded Platform

製品概要

Formal Verification パッケージ

セーフティクリティカルなソフトウェアの要求違反の不在証明

Back-to-back Test パッケージ

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

Formal Test BASE パッケージ

形式手法により強化された高度な要求ベーステスト

Formal Test パッケージ

形式手法と自動テスト生成により強化され、高度に自動化された先進的な要求ベーステスト

Requirements-based Test パッケージ

Simulinkモデルに対するRequirements-basedテスト

Formal Specification パッケージ

自動化の基礎となる機能要求の直感的な形式記述

Requirements Analysis パッケージ

形式化された要求群の完全性、正確性、一貫性 (CCC) を自動分析

サポートと窓口

あなたに適した担当者を見つけてください。世界のどこからでも大丈夫です。