| With the development of power industry, digital substation, information technologybecome more and more urgent, digital substation become the development direction ofthe substation automation system, in the on-line monitoring system of the substation,substation digital network communication is also very important. This paper presents aprotocol conformance testing approach used for communication between intelligentdevices of the substation. Conformance testing focuses on and formal description of theprotocol and generating test sequences. This paper summarizes the existing formaldescription methods, chooses the Estelle language techniques based on extended finitestate machine to describe protocols, this method is simple, practical, strong, besides, thispaper presents a simple protocol named Initiate-Response (Inres) in Estelle language. Inthe test sequence generation, this paper summarizes the advantages and disadvantages ofthe existing generation algorithm based on FSM and EFSM control flow and test flow,proposed a test sequence include both control flow and data flow generation algorithm,taking into account the test sequence executability, because the generated executable testsequence is based on the transition executability analysis, during this process, invertibleprinciple is helpful to shorte the expansion. In this paper, take Inres protocol as anexample, provide a detailed description of the test sequence generation, and finally takethe results into analysis. The proposed methods and examples of normal protocol for testsequence generation has a real significance. |