以下各项具体程序中，不属于细节测试程序的是(　　)。