EFSM的等价转换和通信协议一致性测试  

Equivalent Transformation of EFSM and Protocol Conformance Testing

作　　者：庞其祥[1] 程时端[1] 金跃辉[1] 

机构地区：[1]北京邮电大学

出　　处：《通信学报》1997年第4期37-42,共6页Journal on Communications

基　　金：国家自然科学基金;北京邮电大学95校测试项目

摘　　要：绝大多数通信协议是以ＥＦＳＭ（扩展的有限状态机）来描述的。本文首先给出ＥＦＳＭ的形式化定义，然后提出ＥＦＳＭ的一种等价转换算法及其证明。通过协议转换，可以使生成一致性测试集的方法得到简化。Most protocols of communication systems are described in EFSM(Extended Finite State Machine) model. In this paper, the formal description of EFSM and the feature of data portion of EFSM are discussed. Then an equivalent transformation method of EFSM and its proof are presented. By protocol transforming, generation of test suite from specifications modeled as EFSM can be simplified and the generated test cases have certain ability to detect errors in data flow of EFSM.

关 键 词：EFSM 一致性测试 等价转换 通信协议 

分 类 号：TN911[电子电信—通信与信息系统]