| 用于协议一致性测试序列生成的状态规范化算法 |
| |
| 引用本文： | 倪群,苏彤.用于协议一致性测试序列生成的状态规范化算法[J].通信学报,1997,18(2):75-82. |
| |
| 作者姓名： | 倪群 苏彤 |
| |
| 作者单位： | 中科院计算所，北京邮电大学 |
| |
| 摘 要： | 这篇论文提出了一种方法，把ＥＦＳＭ描述协议的广泛性和ＦＳＭ测试序列生成方法的成熟性有机的结合起来，较圆满地解决了测试序列的可执行性、观察性、控制性问题，同时兼顾了数据流和控制流的全面测试。这种方法是基于两边靠拢的思想，一方面将非确定性的ＥＦＳＭ向确定性的ＤＦＳＭ规范化，另一方面修改ＦＳＭ的测试序列生成算法，使之能够同时测试数据流，也即能够处理输入、输出原语的参数问题。在本文中讲述了第一步的工作，提出了由ＥＦＳＭ到ＤＦＳＭ的规范化算法和其概念的严格定义，建立了用于算法描述和实现的ＥＦＳＭ向图概念。同时选择了一个较能完全体现ＥＦＳＭ特点的Ｑ．９２１协议讲述了其实现
|
| 关 键 词： | 协议一致性测试 测试集 有限状态机 扩展有限状态机 确定性有限状态机 测试序列 状态规范化 |
A New State Formalization Algorithm for Protocol Conformance Test Sequences Generation |
| |
| Ni Qun,Su Tong Cheng Shiduan.A New State Formalization Algorithm for Protocol Conformance Test Sequences Generation[J].Journal on Communications,1997,18(2):75-82. |
| |
| Authors: | Ni Qun Su Tong Cheng Shiduan |
| |
| Abstract: | |
| |
| Keywords: | protocol conformance test test suite FSM EFSM DFSM test sequences state formalization |
| 本文献已被 CNKI 维普 等数据库收录！ |
