ユースケース

要求、モデル、コードの検証に向けたソリューション

形式検証

ソフトウェアに要求違反不在の証明

フォーマルテスト

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

要求の形式化

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

Back-to-Back テスト

モデルとコード振舞いの比較を完全に自動化

Regression テスト

モデル/コードのリファクタリング後の比較テストを完全自動化

マイグレーションテスト

ツールバージョンの変更によって意図しない振る舞いの変化が生じないことの確認

Requirements-based テスト

Simulinkモデル、TargetLinkモデル、EmbeddedCoderモデル、手書きCコードに対するRequirements-based テスト

要求分析

究極のフロントローディング、モデリングや実装の前に不具合を検出

コードカバレッジ分析

テストは十分？

ISO 26262

準拠して認証取得済

Continuous Integration & Cloud

CIパイプラインにユニットテストおよびインテグレーションテストを組込むことで高い品質を早期に確保

サポートと窓口

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