Home検証ツールコンパイラ検証テストの必要性セキュリティ検証ツール:TTS検証ツール東芝情報システム株式会社が開発した単体テスト用の検証ツールです。製品の特長:′′′′自動的に入力条件の組み合わせを実現できる。′′′′自動的にドライバ、スタブを生成できる。′′′′理論値と出力結果を照合、判定できる。WinAMS検証ツールガイオ・テクノロジー会社が開発した単体テスト用の検証ツールです。製品の特長:′′′′手軽に単体テストの入力を設定できる。′′′′C1/MCDCカバレッジテストを自動的に作成できる。′′′′CasePlayer2でプログラムのプロセスフローを生成できる。′′′′C0/C1/MCDCのカバレッジレベルを自動的に判定できる。′′′′多種類のMPUを対応できる。沪ICP备09062508。