验证的编程方式