下列程序中属于实质性程序的有（ ）

根据教材原文，实质性程序包括细节测试和实质性分析程序，用于发现认定层次的重大错报。控制测试和风险评估程序属于控制测试范畴，不属于实质性程序。