The main points of protocol performance testing is analyzed in this paper. The QoS(quality of service) of network protocol is described with a formal tool, stochastic Petri nets. Furthermore, the rules from the SPN(stochastic Petri nets) models to test suite of TTCN(tree and tabular combined notation) are proposed, and a performance test case is generated from the SPN models.