用于协议一致性测试序列生成的状态规范化算法  

A New State Formalization Algorithm for Protocol Conformance Test Sequences Generation

作　　者：倪群[1,2] 苏彤[1,2] 程时端[1,2] 

机构地区：[1]中科院计算所 [2]北京邮电大学

出　　处：《通信学报》1997年第2期75-82,共8页Journal on Communications

基　　金：国家自然科学基金

摘　　要：这篇论文提出了一种方法，把ＥＦＳＭ描述协议的广泛性和ＦＳＭ测试序列生成方法的成熟性有机的结合起来，较圆满地解决了测试序列的可执行性、观察性、控制性问题，同时兼顾了数据流和控制流的全面测试。这种方法是基于两边靠拢的思想，一方面将非确定性的ＥＦＳＭ向确定性的ＤＦＳＭ规范化，另一方面修改ＦＳＭ的测试序列生成算法，使之能够同时测试数据流，也即能够处理输入、输出原语的参数问题。在本文中讲述了第一步的工作，提出了由ＥＦＳＭ到ＤＦＳＭ的规范化算法和其概念的严格定义，建立了用于算法描述和实现的ＥＦＳＭ向图概念。同时选择了一个较能完全体现ＥＦＳＭ特点的Ｑ．This paper introduces a new state formalization algorithm for protocol conformance test sequences generation,which combines the maturabilty of test sequences generation based on FSM and the universality of protocol description based on EFSM.This method solves the observsabilty,excutabilty and controllability problem of Test Sequences.

关 键 词：协议一致性测试 测试集 有限状态机 信息论 

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