Model Test Coverage。システム要求に基づいて準備されたテストケースを、Ansys SCADEモデルのシミュレーション環境で再生し、カバレッジを計測するモジュールのことです。システム要求とソフトウェアウェア設計との関連は、一般的に、レビューによって検証活動が行われます。この検証活動を裏付ける検証活動が、Ansys SCADEモデルテストカバレッジです。Ansys SCADEモデルがどれくらいシミュレーションされたかを評価することで、テストの不足、不要なソフトウェアウェア設計等を検出する検証のための検証活動です。Ansys SCADEモデルテストカバレッジのカバレッジ基準は、DCカバレッジ、マスクMC/DCカバレッジの2種類をオペレータに自動実装し計測します。図1は、Ansys SCADEモデルのカバレッジ計測を行った結果をモデル構成に合わせて、カバッレジ率を表示しています。また、カバレッジ率を視覚的に容易に判断するために、色で結果表示を表しています。