约束验