约束条件的检验