控制测试中，注册会计师应通过____程序验证销售交易是否经过适当授权。

授权审批文件是验证销售交易授权控制的直接证据，符合教材中关于控制测试的具体实施方法。