固定资产的细节测试可能涉及的审计程序包括？

固定资产细节测试涵盖所有权验证、减值计提、实物观察和抵押情况，均属于存在性和权属认定的范畴。