[判断]  对相关内部控制下产生的会计信息进行测试的审计程序是符合性测试。