A.2.3 执行验证