7.2.3 正确性验证