审计程序中，哪些程序属于审计证据的获取方法？

教材原文明确指出审计程序包括检查、观察、询问、函证、重新计算、重新执行和分析程序。所有选项均属于获取审计证据的方法。