　コード動的解析にて、標準で要求されるあらゆる種類のコードカバレッジを測定できる、単体および統合テストの自動化ツールです。

コード動的解析における単体/統合テストの実行およびカバレッジ測定

コード動的解析に対して、回帰テストのためのテスト再利用

競合と差別化できる要因

製品の強み

想定される導入メリット

01. ユニット/統合テストを実施し、カバレッジを測定する

02. 実際のターゲット環境でのテスト

03. スタブ関数 (制御が難しい元の関数をスタブ（スタブ関数）で置き換える機能)

元の関数の代わりにスタブを使用して、望ましい値を返すテスト
- Ex) db 接続関数から1を返すには、ドライバのインストールとDB接続が必要 ➡スタブ機能を使用して、簡単に1を返すように設定する
未定義の関数（ライブラリなど）のためのスタブの自動生成
- Ex) lib add 関数はソースコード内で未定義であり、lib ファイルとのリンクが必要 ➡ .lib ファイルが利用できない場合、望ましい値を返すスタブを自動的に生成できる

04. モックオブジェクト機能

　C++のテスト時に、オブジェクトの依存関係を迅速かつ確実に置き換える機能を備えています。

05. 制御フローグラフ

06. MC/DC (Modified Condition/Decision Coverage)

　ドメインで要求されるMC/DC目標を達成するためのガイドをご提供致します。

条件文 if( (C0 && C1) || C2)
- MC/DC n%カバレッジを満たす組み合わせを通知する機能（nの値はオプションで設定可能）
  - Ex：条件C0、C1、C2は、真の値ケース0、1、2、4のみがカバーされると100%満たされる
- 各条件（C0、C1、C2）を満たすペアとそのカバレッジ状況を表示する機能
  - Ex.真の値ケース4がカバーされていないため、条件C0はカバーされていません。条件C1は、真の値ケース0と2がカバーされているため、カバーされている

07. スケーラビリティ

　大規模で複雑なソフトウェアや膨大なテストデータのテストを可能にします。

コード動的解析テスト対象のソフトウェアの規模は大きくなり続けているため
現場で大規模なデータセットでのテストが必要ため(Ex: ADAS SW)
対応範囲
- 1つのプロジェクト内で5,000以上の関数を対応
- 1つの関数（テスト）内で10,000以上の入出力変数を対応
- 1つの関数（テスト）内で1,000,000以上のテストケースを対応

08. チームテスト機能

　強力的なテスト環境に最適化された機能による生産性の向上に繋ぎます。

09. COVER製品とのカバレッジ共有

　トップダウンアプローチで迅速にカバレッジ目標を達成します。

10. コード動的解析テストケースの再利用

　ソースコードの変更後にテストを再利用するための便利な機能をご提供致します。

ソースコードの変更の自動検出（整合性チェック）
- テストに関連する変更の自動識別
ターゲット変数のマッピングに対する類似性に基づく推奨と検証チェック
- 関数の類似性に基づくターゲット関数の自動マッピング
- 類似性に基づくターゲット変数のマッピングに関する推奨と検証チェック

11. シンボリック実行に基づくテスト入力の自動生成（DISCOVERY X）

項目	詳細
対応プログラム言語	C/C++
オペレーティングシステム	-Windows 7 or higher (64bit support) -Linux (Debian, RPM-based)
GUI言語	英語・韓国語
対応コンパイラ	-Support for the latest compilers (C++ 20) (Visual Studio 2022, GCC 12.x) -ARM Series -Freescale Series -Green Hills Series -Keil Series -Renesas Series Support for over 100 other types/models
ターゲットインターフェース	-Ethernet, Serial (UART), JTAG -Debugger integration (TRACE32, iSYSTEM, Code Composer Studio, IAR C-SPY, PLS UDE, etc.)