6.3 推进分析下的验证