カバレッジテストツール

システムコードのすべてのジャンプ、循環などの分岐を分析し、テストのカバー度を決定し、テストフローを最適化する。

PCL自動生成ツール

静的および動的なPCLを自動的に生成し、試験事例、テストパスをよりよく把握し、管理し、試験設計を審査する。

テストデータ自動生成ツール

直交表（512クラス）、ブール図、All-pairなどの方法で試験データを自動的に生成します。等価分割（有効値データと無効値データをそれぞれ代入して結果を確認する）、境界値分析（境界近くの有効値データと無効値データをそれぞれ代入して結果を確認する）、複雑な数式分解などを考慮して、試験データのレポートを作成する。

テスト評価ツール

（1）試験の十分性を評価する：動的解析を用いて試験データの実行範囲を決定し、静的解析から得られた完全な事例と比較してデータの有効性を決定する。（2）DB項目の影響範囲を特定する：DB項目をフォローすることにより業務の影響範囲を特定する。（3）データ項目の重要性を評価する：静的、動的な影響範囲、DB項目に対する影響範囲調査によって、それぞれのデータの重要性を評価する。（4）試験事例の最小化の可能性を検討する。