税务随机抽查程序通常包括以下几个步骤：
数据筛选
税务系统会根据预设的规则，从纳税人的申报数据中进行筛选，以确定抽查对象。这些规则可能包括纳税数额、税负率、税收风险等级等。
通知与验证核实
被抽查的纳税人会接到税务部门的通知，要求提交相关资料进行验证核实。纳税人需要按照通知要求，提供必要的文件和证明材料。
结果公布
税务部门在验证核实后，会根据抽查结果做出相应的处理，并在一定范围内公布抽查结果。这有助于提高税务管理的透明度和公正性。
抽查方式
随机抽查分为定向抽查和不定向抽查。定向抽查是根据特定条件（如纳税人类型、行业、经营规模等）通过摇号等方式随机抽取确定待查对象名单，然后进行稽查。不定向抽查则不设定条件，同样通过摇号等方式随机抽取待查对象名单。
自查与重点检查
对于随机抽查对象，税务稽查部门可以直接进行检查，也可以要求其先行自查，再实施重点检查，或自查与重点检查同时进行。
系统抽取
管理系统中的“税务稽查双随机工作平台”模块会从市税务局稽查局建立的随机抽查对象名录库（包括异常名录）中随机抽取待查对象。
查询与分析
在稽查过程中，会重点查询双方签订合同的具体内容，查看企业实际经营范围及需求，以及销售方开具的发票是否符合企业经营范围内业务，购买方收取的发票是否是企业日常经营所需。
这些程序旨在确保税务稽查的公正性、随机性和有效性，同时提高税务管理的透明度和纳税人的合规性。