This invention relates to a kind of model conversion based protocol correctness verification and testing method. The method concludes: at least two kinds of formalized models are used to formalize descript protocols; the said two kinds of formalized models are converted respectively to the same kind of formalized models; the verified protocol formalized model is acquired through comparing the differences between the said same kind of formalized models. Based on the said verified protocol formalized model, the correctness verification and testing of protocol is carried out. This invention can also be used to develop testing system tools that aim at concrete protocol.