什么是细节测试和实质性程序