| 张新常,杨美红,罗万明,耿光刚.面向协议一致性测试的测试序列生成方法研究[J].高技术通讯(中文),2011,21(10): |
| 面向协议一致性测试的测试序列生成方法研究 |
| A test sequence generation method for protocol conformance testing |
| |
| DOI： |
| 中文关键词: 协议一致性测试;扩展有限状态自动机(EFSM);有限状态自动机(FSM);测试序列生成;模型转换 |
| 英文关键词: |
| 基金项目:863计划，973计划，国家自然科学基金 |
| 张新常,杨美红,罗万明,耿光刚 |
1. 山东省科学院计算中心 济南250014
2. 中国科学院计算机网络信息中心 北京100190 |
| 摘要点击次数: 3042 |
| 全文下载次数: 0 |
| 中文摘要: |
| 考虑到协议一致性测试中基于扩展有限状态自动机( EFSM)模型的测试序列生成仍然是一个尚无理想方法解决的开放性问题,提出了一种面向协议一致性测试的基于EFSM模型的测试序列生成方法.此方法将EFSM模型转换成确定化的EFSM (DEFSM)模型,并在转换过程中对EFSM模型中的条件和操作冲突进行检测并加以消除,此外,通过测试序列生成附加模块的协助,可将变量及其条件判定从DEFSM模型中分离出来,使得处理后的DEFSM模型等同于有限状态自动机(FSM)模型,从而将EFSM的描述优势和基于FSM模型的测试序列生成优势进行有效的结合.理论和实验分析结果显示了此方法的有效性. |
| 英文摘要: |
| |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |
|
|
|
