审计资产执行的程序包括：
实地盘点：
审计团队对所有固定资产进行实地核对，确保账面记录与实际资产相符。使用了RFID和条形码扫描技术核对标签，共检查了所有厂房和25台设备，以及所有运输工具。
账实核对：
通过比对固定资产登记簿和实际资产记录，发现了一些账面登记不准确的资产，例如3台生产设备未在资产登记簿中更新其实际状态。
折旧政策审查：
检查了所有固定资产的折旧政策及其执行情况，确保符合会计准则。审计团队核查了过去三年的折旧记录，并对照公司规定的折旧年限和残值率进行了分析。
内部控制制度评估：
评估公司对固定资产新增、处置、维护和定期盘点的流程。审计团队访谈了资产管理部和财务部的负责人，并复核了相关审批文件，以确保内部控制措施的合规性。
获取并核对资料：
获取租赁合同台账、使用权资产台账以及使用权资产折旧表等资料，并与企业提供的报表数进行核对。
检查租赁合同：
检查租赁合同以判断是否适用租赁准则，并确定租赁的开始日和租赁期。
使用权资产的初始计量：
检查使用权资产的初始确认和计量，包括租赁负债的现值计算和未确认融资费用的处理。
折旧和减值测试：
复核使用权资产的折旧政策，检查累计折旧的计算是否正确，并进行减值测试。
利息费用的确认：
确认租赁负债的利息费用，并检查其会计处理是否正确。
支付租金的会计处理：
检查支付租金的会计处理，确保租赁负债和应付款项的正确记录。
一年内到期租赁负债的重分类：
将一年内到期的租赁负债重分类至“一年内到期的非流动负债”。
监盘使用权资产：
实地查看使用权资产情况，检查是否存在闲置或减值迹象，并进行签字盖章。
检查报告期内的变动：
检查报告期内增加或减少的使用权资产的相关支持性证据，包括房屋租赁合同、出租方及金额与发票信息的一致性，以及会计处理的正确性。
检查与关联方的交易：
检查与关联方之间的使用权资产交易，判断租赁价格是否公允。
递延所得税的确认：
确认使用权资产和租赁负债的相关递延所得税影响。
穿行测试和控制测试：
了解并测试与固定资产相关的内部控制是否有效，包括固定资产的购买、折旧、维修、报废等控制措施。
编制审计工作底稿：
获取或编制固定资产及累计折旧增减变动分类汇总表，复核加计是否正确，并与总账数、报表数和明细账合计数核对是否相符。
了解并评价内部控制：
了解企业关于预付款项的管理政策和程序，评估这些控制措施是否健全、有效，并检查审批流程和记录要求。
函证余额：
选择大额或异常的预付账款重要项目，函证其余额是否正确。
检查期后账务处理：
比如是否按时收到货物或服务，是否与合同相符等。
编制并实时更新审定表和明细表：
编制交易性金融资产审定表和明细表，复核加计正确，确定明细表合计数与审定表合计数一致，审定表合计数与报表数一致。
这些程序有助于确保资产的真实存在、权利和义务、计价和分摊以及列报的准确性，从而评估财务报表的真实性和合规性。