如果测试数据满足条件覆盖，则必然满足判定覆盖。