自动化方法验证