摘要
在构造面向对象带有异常处理的系统依赖图的基础上,分析了异常处理结构对程序依赖性的影响.并且为了得到粗粒度程序切片,提出了一种把异常处理结构转化为一个类内部私有方法的有效方法来简化带有异常处理结构的系统依赖图.然后在简化的带有异常处理结构的系统依赖图上利用图可达性算法实现了包含异常处理结构的粗粒度切片.最后,通过一个切片标准对粗粒度切片和细粒度切片进行了比较.结果证明粗粒度切片完全包含细粒度切片,这样就降低了计算切片的复杂度.
Based on constructing Object-Oriented system dependence graph with exception handing,this paper analyzes the effects of exception handling constructs on program dependence.In order to get coarse-grained slice,this paper presents a practical approach that convert exception structure to private methods inside a class to simplify the system dependence graph with exception handling constructs.And using graph reachability algorithm on the simplified system dependence graph with exception handling constructs can get coarse-grained slice with exception structure.Finally,we compared coarse-grained slice with fine-grained slice through a slice standard.From the comparison,we can see that coarse-grained slice completely contains the fine-grained slice.Thus we succeed in reducing the complexity of calculating slice.
出处
《微电子学与计算机》
CSCD
北大核心
2012年第7期116-120,共5页
Microelectronics & Computer
基金
国家自然科学基金(60970032)
教育部科学技术研究重点项目(108063)
江苏省自然科学基金(BK2008124)
江苏省"青蓝工程"
关键词
程序切片
粗粒度切片
系统依赖图
简化的系统依赖图
异常处理
program slicing
coarse-grained slice
system dependence graph
simplified system dependence graph
exception handling
