程序A属于实质性分析程序，而非细节测试；一般而言，交易的细节测试包括检查交易的支持性证据(B)和截止测试。存货监盘程序同时含有控制测试和实质性程序的成分，并非纯粹的细节测试；D属于针对存货余额的细节测试。