EFSM

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
含过程调用EFSM模型测试数据生成
《计算机工程与应用》2011年第32期87-90,共4页尤枫 闫宇 赵瑞莲 
国家自然科学基金No.60903002;No.61073035;中央高校基本科研业务费专项资金资助(No.ZZ1135)~~
针对含过程调用EFSM模型测试数据生成中过程调用的不可执行问题,提出了一种能对过程调用进行处理以实现模型的测试数据自动生成方法。该方法将被调子过程描述为一个EFSM模型,将表示主过程及子过程的EFSM模型合并为一个新的模型,合并后...
关键词：扩展有限状态机(EFSM) 测试数据生成 过程调用 遗传算法 子模型 
基于监控理论的EFSM设计方法被引量：1
《计算机工程与应用》2009年第6期20-24,81,共6页王向云 赵雷 蔡开元 
国家自然科学基金;天津市高等学校科技发展基金计划项目;天津师范大学引进人才基金计划项目~~
随着扩展有限状态机(EFSM)模型在计算机科学和工程领域的广泛应用,EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于个人经验,缺乏理论基础。由于EFSM中每个转移的谓词可以看作此转移的一个监控器,所以可以用离散事件...
关键词：形式化方法 软件控制论 离散事件系统 扩展有限状态机(EFSM) 有限状态机(FSM) 
EFSM最小可达图的同步生成算法
《计算机工程与应用》2004年第23期80-85,88,共7页眭永波 王忠民 郝瑞兵 
贝尔实验室中国基础科学研究院(BLRC)资助
针对EFSM可达性分析过程中的状态空间爆炸问题,提出了一种基于变量值域划分的EFSM最小可达图的同步生成算法。该算法将EFSM可达图的生成与最小化两个过程结合在一起同步进行,引入特征配置的思想,依据特征配置指出变迁有效性组合,以及变...
关键词：扩展有限状态机 最小可达图 可达性分析 EFSM 协议测试 变量值域 状态分裂思想 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部