検査制約