摘要
针对现有动态切片方法的缺陷,提出了一种基于覆盖测试的动态切片的计算方法.该方法的关键是建立一个基于覆盖测试的动态依赖图,它既利用动态执行信息又利用静态信息.文中提供的动态切片方法还克服了以往动态切片方法的缺点,即动态切片不会因切片标准变化而重新计算.
Dynamic slicing is an important approach to analyze, understand and maintain programs, which has been widely used in activities of software engineering and reengineering. In this paper, the existing methods based on graph reachability are firstly analyzed, and a coverage-testing-based method for computing dynamic programs slicing is then presented. The key of this method is to construct a coverage-testing-based dynamic dependence graph (CTDDG), which makes use of both dynamic information and static information to get execution dependencies. Besides efficiency, our approach overcomes the limitations of previous dynamic slicing methods, which have to redo if slicing criterion changes.
出处
《应用科学学报》
CAS
CSCD
2004年第2期205-210,共6页
Journal of Applied Sciences
