| 面向协议一致性测试的测试序列生成方法研究 |
| |
| 引用本文： | 张新常,杨美红,罗万明,耿光刚.面向协议一致性测试的测试序列生成方法研究[J].高技术通讯,2011,21(10). |
| |
| 作者姓名： | 张新常 杨美红 罗万明 耿光刚 |
| |
| 作者单位： | 1. 山东省科学院计算中心 济南250014
2. 中国科学院计算机网络信息中心 北京100190 |
| |
| 基金项目： | 863计划，973计划，国家自然科学基金 |
| |
| 摘 要： | 考虑到协议一致性测试中基于扩展有限状态自动机( EFSM)模型的测试序列生成仍然是一个尚无理想方法解决的开放性问题,提出了一种面向协议一致性测试的基于EFSM模型的测试序列生成方法.此方法将EFSM模型转换成确定化的EFSM (DEFSM)模型,并在转换过程中对EFSM模型中的条件和操作冲突进行检测并加以消除,此外,通过测试序列生成附加模块的协助,可将变量及其条件判定从DEFSM模型中分离出来,使得处理后的DEFSM模型等同于有限状态自动机(FSM)模型,从而将EFSM的描述优势和基于FSM模型的测试序列生成优势进行有效的结合.理论和实验分析结果显示了此方法的有效性.
|
| 关 键 词： | 协议一致性测试 扩展有限状态自动机(EFSM) 有限状态自动机(FSM) 测试序列生成 模型转换 |
A test sequence generation method for protocol conformance testing |
| |
| Zhang Xinchang,Yang Meihong,Luo Wanming,Geng Guanggang.A test sequence generation method for protocol conformance testing[J].High Technology Letters,2011,21(10). |
| |
| Authors: | Zhang Xinchang Yang Meihong Luo Wanming Geng Guanggang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
