自动模型验证