10.3.2 程序化验证