EFSM

作品数：54被引量：78H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：舒挺赵瑞莲朱群雄徐圆王晓峰更多>>
相关机构：北京化工大学浙江理工大学中国科学技术大学湖南大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=通信学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
利用逆向判定性缩短EFSM的测试序列的长度被引量：6
《通信学报》2000年第11期48-55,共8页周晓煜 屈玉贵 赵保华 
国家 8 6 3计划资助!项目 ( 86 3- 30 0 - 0 2 - 0 8- 99;86 3- 317- 0 4 - 16 - 99) ;博士点基金资助项目
在一个以扩展的有限状态机 (EFSM)为模型描述的协议测试系统中 ,测试序列的可执行性是一个重要的问题。同时 ,还要考虑到测试序列的优化问题。文中以EFSM为协议的描述模型 ,引入了逆向判定性的概念 ,并利用这一概念对转换可执行性分析 (...
关键词：EFSM 逆向判定性 测试序列 
EFSM的等价转换和通信协议一致性测试被引量：3
《通信学报》1997年第4期37-42,共6页庞其祥 程时端 金跃辉 
国家自然科学基金;北京邮电大学95校测试项目
绝大多数通信协议是以ＥＦＳＭ（扩展的有限状态机）来描述的。本文首先给出ＥＦＳＭ的形式化定义，然后提出ＥＦＳＭ的一种等价转换算法及其证明。通过协议转换，可以使生成一致性测试集的方法得到简化。
关键词：EFSM 一致性测试 等价转换 通信协议 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部