主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2020年专刊出版计划 微信服务介绍 最新一期:2019年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
缪力,张大方.扩展有限状态机EFSM的后向切片.软件学报,2004,15(zk):169-178
扩展有限状态机EFSM的后向切片
Computing Backward Slice of EFSMs
  
DOI:
中文关键词:  扩展有限状态机EFSM  依赖性分析:软件规格  程序切片
英文关键词:EFSM  dependence analysis  software specification  program slicing
基金项目:Supportsed by the National Natural Science Foundation of China under Grant No.60373000(国家自然科学基金)
作者单位
缪力 湖南大学 计算机与通信学院湖南 长沙 410082 
张大方 湖南大学 计算机与通信学院湖南 长沙 410082 
摘要点击次数: 2398
全文下载次数: 2862
中文摘要:
      切片是一种重要的约减技术,基于代码的程序切片已经得到广泛的研究和大量的应用,但基于规格和模型的切片研究不多.EFSM是一种重要的规格模型,将切片技术引入EFSM对于分析和测试基于EFSM的软件模型具有重要的作用.由于一个实际的EFSM相当复杂,导致对EFSM模型的分析和修改非常困难.EFSM的切片对于测试和分析EFSM模型具有重要意义.由于EFSM依赖关系的特殊性,依赖图的可达性问题对于EFSM依赖图中并不是一个简单的图可达性问题.而且现有的基于标志已访问节点的遍历算法不适于解决该问题.对EFSM的依赖关系的传递性进行了详细的讨论和分析,定义了一个递归的依赖传递函数来描述变迁的影响如何通过依赖关系传递,而计算后向切片则可以通过逆依赖传递函数来描述,最后给出一个基于变迁的EFSM后向切片算法.
英文摘要:
      Slicing is a well-known reduction technique.Most of the research on slicing is code-based.There has been limited research on specification-based slicing and model-based slicing.EFSM is a very important specification model,but a practical EFSM model is often large and complex and is hard to understand and modify.EFSM—based slicing is very useful to test and analysis EFSM models.The dependence analysis based EFSM dependence graph is much more than a graph reachability problem,so that traverse algorithms based marking visited nodes carl not to be used in EFSM dependence graphs.In this paper,we discuss dependence analysis in EFSMs,and define a dependence transform function and a reverse dependence transfer function to describe dependence transform formally.Based the analysis and defmition,a backward slicing algorithm is given to find all transitions which may affect an interesting transition.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利