DYNAMIC PROGRAM SLICING

被引：394

作者：

KOREL, B

LASKI, J

机构：

[1] WAYNE STATE UNIV,DEPT COMP SCI,DETROIT,MI 48202

[2] OAKLAND UNIV,DEPT COMP SCI & ENGN,ROCHESTER,MI 48063

来源：

INFORMATION PROCESSING LETTERS | 1988年 / 29卷 / 03期

关键词：

Computer Software--Testing - Data Processing--Data Structures;

D O I：

10.1016/0020-0190(88)90054-3

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

A dynamic program slice is an executable subset of the original program that produces the same computations on a subset of selected variables and inputs. It differs from the static slice (Weiser, 1982, 1984) in that it is entirely defined on the basis of a computation. The two main advantages are the following: Arrays and dynamic data structures can be handled more precisely and the size of slice can be significantly reduced, leading to a finer localization of the fault. The approach is being investigated as a possible extension of the debugging capabilities of STAD, a recently developed system for testing and debugging.

引用

页码：155 / 163

页数：9

共 24 条

[1]

Aho A. V., 1977, PRINCIPLES COMPILER

[2] PRACTICAL INTER-PROCEDURAL DATA FLOW ANALYSIS ALGORITHM [J].