变电设备在线监测系统的通信测试方法研究-计算机科学与技术;计算机应用技术专业论文.docxVIP

华北电力大学硕士学位论文 I 摘要 随着电力工业的发展，变电站的数字化、信息化的要求越发迫切，数字化变电 站成为了变电站自动化系统的发展方向，在变电站在线监测系统中，数字化变电站 网络通信也显得尤为重要。本文提出了一种对变电站智能设备之间使用的通信协议 进行一致性测试的方法。一致性测试内容的重点为协议的形式化描述和测试序列的 生成。在协议的形式化描述方面，本文总结了现有的形式化描述方法，选择了基于 扩展的有限状态机的 Estelle 语言描述技术，这种方法简单方便，实用性较强，本文 在附录中给出了一个简单的发起-响应 Inres 协议的 Estelle 描述。在测试序列生成方 面，本文总结了已有的基于 FSM 和 EFSM 的控制流和测试流生成算法的优缺点， 提出了一种控制流和数据流结合的测试序列生成算法，同时考虑了测试序列的可执 行性，因为测试序列的生成是基于可执行转换分析的，在可执行转换树生成的过程 中，使用了逆向可判定性原理在一定程度上缩小了扩展空间。本文以 Inres 协议为 例，详细地描述了测试序列的生成工程，并对最后结果进行了分析。本论文所提出 的方法与实例示范对于以后真正的协议测试有着指导意义。 关键词：变电站通信；形式化描述技术；数据流；控制流；一致性测试；测试序列 II Abstract With the development of power industry, digital substation, information technology become more and more urgent, digital substation become the development direction of the substation automation system, in the on-line monitoring system of the substation, substation digital network communication is also very important. This paper presents a protocol conformance testing approach used for communication between intelligent devices of the substation. Conformance testing focuses on and formal description of the protocol and generating test sequences. This paper summarizes the existing formal description methods, chooses the Estelle language techniques based on extended finite state machine to describe protocols, this method is simple, practical, strong, besides, this paper presents a simple protocol named Initiate - Response (Inres) in Estelle language. In the test sequence generation, this paper summarizes the advantages and disadvantages of the 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 test sequence is based on the transition executability analysis, during this process, invertible principle is helpful to shorte the expansion. In this paper, take Inres protocol as an example, provide a detailed description of the