| 摘要: |
| 切片是一种重要的约减技术，基于代码的程序切片已经得到广泛的研究和大量的应用，但基于规格和模型的切片研究不多．EFSM是一种重要的规格模型，将切片技术引入EFSM对于分析和测试基于EFSM的软件模型具有重要的作用．由于一个实际的EFSM相当复杂，导致对EFSM模型的分析和修改非常困难．EFSM的切片对于测试和分析EFSM模型具有重要意义．由于EFSM依赖关系的特殊性，依赖图的可达性问题对于EFSM依赖图中并不是一个简单的图可达性问题．而且现有的基于标志已访问节点的遍历算法不适于解决该问题．对EFSM的依赖关系的传递性进行了详细的讨论和分析，定义了一个递归的依赖传递函数来描述变迁的影响如何通过依赖关系传递，而计算后向切片则可以通过逆依赖传递函数来描述，最后给出一个基于变迁的EFSM后向切片算法． |
| 关键词: 扩展有限状态机EFSM 依赖性分析：软件规格 程序切片 |
| DOI： |
| 分类号: |
| 基金项目:Supportsed by the National Natural Science Foundation of China under Grant No．60373000(国家自然科学基金) |
|
| Computing Backward Slice of EFSMs |
|
MIAO Li,ZHANG Da-Fang
|
| Abstract: |
| 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． |
| Key words: EFSM dependence analysis software specification program slicing |
