当型，直到型，前测试，后测试之间是什么关系