モデル内部の複雑な処理を隠蔽し、外部には特定のインターフェースのみを見せる手法はどれか。

生成されたテストスイートが、モデルの論理構造をどの程度網羅しているか評価することを何と呼ぶか。