5.2.3 条件覆盖