Computation of dynamic program slices for unstructured programs

Bogdan Korel

doi:10.1109/32.581327

1997-01-01

PRE

Bogdan Korel *

DOI：10.1109/32.581327

原文链接

原文求助

摘要

En 中文

A dynamic program slice is an executable part of the program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) of interest at some execution position. The existing algorithms of dynamic slice computation use data and control dependencies to compute dynamic slices. These algorithms are limited to structured programs because, as we will show, they may compute incorrect dynamic slices for unstructured programs due to the limitations of control dependencies that are used to compute dynamic slices. In this paper we present a novel approach of dynamic slice computation for unstructured programs. The approach employs the notion of a removable block in finding dynamic program slices. Dynamic slices are derived by identifying not only these parts of program execution that contribute to the computation of the value of a variable of interest, but also these parts of program execution that do not contribute to the computation of the variable value. Data dependencies are used to identify contributing computations, whereas removable blocks are used to identify noncontributing computations. We have proven that the presented dynamic slicing algorithms compute correctly dynamic slices. In addition, these algorithms may compute more accurate dynamic slices as opposed to the existing algorithms that use control dependencies. The presented algorithms have been implemented in a dynamic slicing tool that supports dynamic slicing for Pascal programs.

Keyword:

program slicing

dynamic program slicing

removable block

control dependence

data dependence

execution trace

unstructured program

debugging

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Transactions on Software Engineering

IF:

5.6

论文数:

2.9K

被引数:

1.1W

机构

暂无机构信息

引用论文

Urea and Hearing in Patients with Menière's Disease

Scandinavian Audiology

IF0

2009-10-12

PREAI

C. Angelborg; I. Klockhoff; J. Stahle

A randomized phase I/II trial of HQK‐1001, an oral fetal globin gene inducer, in β‐thalassaemia intermedia and HbE/β‐thalassaemia

British Journal of Haematology

IF0

2013-03-27

OAAI

Suthat Fucharoen; Adlette Inati; Noppadol Siritanaratku; Swee L. Thein; William C. Wargin; Suzanne Koussa; Ali Taher; Nattawara Chaneim; Michael Boosalis; Ronald Berenson; Susan P. Perrine

Supervised Phenotype Discovery From Multimodal Brain Imaging

IEEE Transactions on Medical Imaging

IF0

2023-03-01