您的位置： 专家智库 > >

国家高技术研究发展计划(2003AA00103)

作品数：1 被引量：1H指数：1
相关作者：韩喆陈世鸿更多>>
相关机构：武汉大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇依赖图
  • 1篇有限状态机
  • 1篇切片算法
  • 1篇状态机
  • 1篇扩展有限状态...
  • 1篇程序切片

机构

  • 1篇武汉大学

作者

  • 1篇陈世鸿
  • 1篇韩喆

传媒

  • 1篇小型微型计算...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
扩展有限状态机的依赖图构造及切片算法被引量：1
2011年
将切片技术引入扩展有限状态机模型,可根据兴趣点约减状态及变迁数,对模型的分析与测试有重要意义.由于EFSM模型基于变迁的依赖关系,传统的依赖图构造算法及基于标记已访问节点的切片算法并不适用.通过研究EFSM模型依赖关系的可传递性,提出EFSM模型的两级结构依赖图EPDG(EFSM Program Dependence G raph),使用变迁及其子节点分别表示控制依赖及数据依赖,将EFSM模型的切片转化为图形可达性问题,并给出EPDG的构造算法及切片算法,运用实例与已有成果做对比实验.
韩喆陈世鸿
关键词：程序切片扩展有限状态机依赖图
全选 清除 导出
共1页<1>
聚类工具0