首页 | 本学科首页   官方微博 | 高级检索  
     

扩展有限状态机的依赖图构造及切片算法
引用本文:韩喆,陈世鸿.扩展有限状态机的依赖图构造及切片算法[J].小型微型计算机系统,2011,32(4).
作者姓名:韩喆  陈世鸿
作者单位:武汉大学计算机学院,湖北,武,汉430074
摘    要:将切片技术引入扩展有限状态机模型,可根据兴趣点约减状态及变迁数,对模型的分析与测试有重要意义.由于EFSM模型基于变迁的依赖关系,传统的依赖图构造算法及基于标记已访问节点的切片算法并不适用.通过研究EFSM模型依赖关系的可传递性,提出EFSM模型的两级结构依赖图EPDG(EFSM Program Dependence Graph),使用变迁及其子节点分别表示控制依赖及数据依赖,将EFSM模型的切片转化为图形可达性问题,并给出EPDG的构造算法及切片算法,运用实例与已有成果做对比实验.

关 键 词:程序切片  扩展有限状态机  依赖图  变迁

Constructing Dependence Graph for EFSM
HAN Zhe,CHEN Shi-hong.Constructing Dependence Graph for EFSM[J].Mini-micro Systems,2011,32(4).
Authors:HAN Zhe  CHEN Shi-hong
Abstract:
Keywords:
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号