English

应用科学学报 ›› 2004, Vol. 22 ›› Issue (2): 205-210.

• 论文 • 上一篇    下一篇

一种基于覆盖测试的动态切片的计算方法

易彤, 吴方君   

  1. 东南大学计算机科学与工程系 江苏南京 210096
  • 收稿日期:2003-08-08 修回日期:2003-11-17 出版日期:2004-06-30 发布日期:2004-06-30
  • 作者简介:易彤(1975-),男,江西宜春人,博士生.

An Approach for Computing Dynamic Slicing Based on Coverage-Testing

YI Tong, WU Fang-jun   

  1. Department of Computer Science & Engineering, Southeast University, Nanjing 210096, China
  • Received:2003-08-08 Revised:2003-11-17 Online:2004-06-30 Published:2004-06-30

PDF

91

被引次数

9

摘要： 针对现有动态切片方法的缺陷,提出了一种基于覆盖测试的动态切片的计算方法.该方法的关键是建立一个基于覆盖测试的动态依赖图,它既利用动态执行信息又利用静态信息.文中提供的动态切片方法还克服了以往动态切片方法的缺点,即动态切片不会因切片标准变化而重新计算.

关键词: 程序分析, 动态切片, 软件测试, 程序切片

Abstract: 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.

Key words: program slicing, dynamic slicing, program analysis, software testing

中图分类号: