判定覆盖必然满足语句覆盖。