审计的技术方法体系，一般由审查（）的方法和证实（）的方法两类组成。