HOMELv014 生成されたテストスイートが、モデルの論理構造をどの程度網羅しているか評価することを何と呼ぶか。 2026年3月13日 テストがモデル内のすべての状態や遷移、あるいは特定の論理パスを網羅しているかを定量的に示す。 特定の時間内に応答がない場合に「タイムアウト」遷移を発生させるために必要な要素はどれか。 モデル内部の複雑な処理を隠蔽し、外部には特定のインターフェースのみを見せる手法はどれか。