细节测试包括哪些程序