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