Article

Hierarchical dynamic slicing

Authors:

Abhik RoychoudhuryAuthors Info & Claims

ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis

Pages 228 - 238

https://doi.org/10.1145/1273463.1273494

Published: 09 July 2007 Publication History

Abstract

Dynamic slicing is a widely used technique for program analysis, debugging, and comprehension. However, the reported slice is often too large to be inspected by the programmer. In this work, we address this deficiency by hierarchically applying dynamic slicing at various levels of granularity. The basic observation is to divide a program execution trace into "phases", with data/control dependencies inside each phase being suppressed. Only the inter-phase dependencies are presented to the programmer. The programmer then zooms into one of these phases which is further divided into sub-phases and analyzed. We also discuss how our ideas can be used to augment debugging methods other then slicing (such as "fault localization", a recently proposed trace comparison method for software debugging).

References

[1]

H. Agrawal, R. A. DeMillo, and E. H. Spafford. Debugging with dynamic slicing and backtracking. SPE, 23(6), 1993.

Digital Library

[2]

H. Agrawal and J. Horgan. Dynamic program slicing. In PLDI, 1990.

Digital Library

[3]

H. Agrawal, J. Horgan, S. London, and W. Wong. Fault localization using execution slices and data flow tests. In ISSRE, 1995.

[4]

F. Balmas. Displaying dependence graphs: a hierarchical approach. Journal of Software Maintenance: Research and Practice, 2004.

Digital Library

[5]

F. Balmas, H. Wertz, and R. Chaabane. DDgraph: a tool to visualize dynamic dependences. In Workshop on Program Comprehension through Dynamic Analysis, 2005.

[6]

H. Cleve and A. Zeller. Locating causes of program failures. In ICSE, 2005.

Digital Library

[7]

A. S. Dhodapkar and J. E. Smith. Comparing program phase detection techniques. In MICRO, 2003.

Digital Library

[8]

H. Do, S. G. Elbaum, and G. Rothermel. Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Empirical Software Engineering, 2005. http://www.cse.unl.edu/~galileo/sir.

Digital Library

[9]

P. Fritzson, T. Gyimothy, M. Kamkar, and N. Shahmehri. Generalized algorithmic debugging and testing. In PLDI, 1991.

Digital Library

[10]

L. Guo, A. Roychoudhury, and T. Wang. Accurately choosing execution runs for software fault localization. In CC, 2006.

Digital Library

[11]

J. A. Jones, M. J. Harrold, and J. Stasko. Visualization of test information to assist fault localization. In ICSE, 2002.

Digital Library

[12]

M. Kamkar. Application of program slicing in algorithmic debugging. Information and Software Technology, 1998.

[13]

B. Korel and J. W. Laski. Dynamic program slicing. IPL, 29(3), 1988.

Digital Library

[14]

B. Korel and J. Rilling. Application of dynamic slicing in program debugging. In AADEBUG, 1997.

[15]

B. P. Miller and J. D. Choi. A mechanism for efficient debugging of parallel programs. In PLDI, 1988.

Digital Library

[16]

G. Misherghi and Z. Su. HDD: Hierarchical delta debugging. In ICSE, 2006.

Digital Library

[17]

A. Nishimatsu, M. Jihira, S. Kusumoto, and K. Inoue. Call-mark slicing: An efficient and economical way of reducing slice. In ICSE, 1999.

Digital Library

[18]

M. Renieris and S. P. Reiss. Fault localization with nearest neighbor queries. In ASE, 2003.

[19]

G. Rothermel and M. J. Harrold. Empirical studies of a safe regression test selection technique. TSE, 24(6), 1998.

Digital Library

[20]

T. Sherwood, E. Perelman, G. Hamerly, and B. Calder. Automatically characterizing large scale program behavior. In ASPLOS, 2002.

Digital Library

[21]

M. Sridharan, S. J. Fink, and R. Bodik. Thin slicing. In PLDI, 2007.

Digital Library

[22]

F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3), 1995.

[23]

G. A. Venkatesh. Experimental results from dynamic slicing of C programs. TOPLAS, 17(2), 1995.

Digital Library

[24]

T. Wang and A. Roychoudhury. Jslice: A dynamic slicing tool for Java programs. National University of Singapore, http://jslice.sourceforge.net.

[25]

T. Wang and A. Roychoudhury. Using compressed bytecode traces for slicing Java programs. In ICSE, 2004.

Digital Library

[26]

T. Wang and A. Roychoudhury. Automated path generation for software fault localization. In ASE, 2005.

Digital Library

[27]

M. Weiser. Program slicing. TSE, 10(4), 1984.

[28]

A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. TSE, 28(2), 2002.

Digital Library

[29]

X. Zhang, N. Gupta, and R. Gupta. Pruning dynamic slices with confidence. In PLDI, 2006.

Digital Library

[30]

X. Zhang, H. He, N. Gupta, and R. Gupta. Experimental evaluation of using dynamic slices for fault location. In AADEBUG, 2005.

Digital Library

Cited By

Bragaglio MGerminiani SPravadelli G(2022)Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System LevelVLSI-SoC: Technology Advancement on SoC Design10.1007/978-3-031-16818-5_4(71-92)Online publication date: 22-Sep-2022
https://doi.org/10.1007/978-3-031-16818-5_4
Li XOrso A(2020)More Accurate Dynamic Slicing for Better Supporting Software Debugging2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)10.1109/ICST46399.2020.00014(28-38)Online publication date: Oct-2020
https://doi.org/10.1109/ICST46399.2020.00014
Xin QBehrang FFazzini MOrso ATilevich E(2019)Identifying features of Android apps from execution tracesProceedings of the 6th International Conference on Mobile Software Engineering and Systems10.5555/3340730.3340740(35-39)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.5555/3340730.3340740
Show More Cited By

Index Terms

Hierarchical dynamic slicing
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Process validation
        Traceability
      2. Software defect analysis
        Software testing and debugging

Recommendations

An efficient relevant slicing method for debugging

Dynamic program slicing methods are widely used for debugging, because many statements can be ignored in the process of localizing a bug. A dynamic program slice with respect to a variable contains only those statements that actually had an influence on ...
Slicer4D: A Slicing-based Debugger for Java
ASE '24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering

Debugging software failures often demands significant time and effort. Program slicing is a technique that can help developers fast track the debugging process by allowing them to focus only on the code relevant to the failure. However, despite the ...
Break the dead end of dynamic slicing: localizing data and control omission bug
ASE '18: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering

Dynamic slicing is a common way of identifying the root cause when a program fault is revealed. With the dynamic slicing technique, the programmers can follow data and control flow along the program execution trace to the root cause. However, the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis

July 2007

258 pages

ISBN:9781595937346

DOI:10.1145/1273463

General Chair:
David S. Rosenblum
University College London, United Kingdom
,
Program Chair:
Sebastian Elbaum
University of Nebraska-Lincoln, USA

Copyright © 2007 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

In-Cooperation

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 July 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ISSTA07

Sponsor:

ISSTA07: International Symposium on Software Testing and Analysis

July 9 - 12, 2007

London, United Kingdom

Acceptance Rates

Overall Acceptance Rate 58 of 213 submissions, 27%

Upcoming Conference

ISSTA '25

Sponsor:
sigsoft

34th ACM SIGSOFT International Symposium on Software Testing and Analysis

June 25 - 28, 2025

Trondheim , Norway

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

20
Total Citations
View Citations
568
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Bragaglio MGerminiani SPravadelli G(2022)Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System LevelVLSI-SoC: Technology Advancement on SoC Design10.1007/978-3-031-16818-5_4(71-92)Online publication date: 22-Sep-2022
https://doi.org/10.1007/978-3-031-16818-5_4
Li XOrso A(2020)More Accurate Dynamic Slicing for Better Supporting Software Debugging2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)10.1109/ICST46399.2020.00014(28-38)Online publication date: Oct-2020
https://doi.org/10.1109/ICST46399.2020.00014
Xin QBehrang FFazzini MOrso ATilevich E(2019)Identifying features of Android apps from execution tracesProceedings of the 6th International Conference on Mobile Software Engineering and Systems10.5555/3340730.3340740(35-39)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.5555/3340730.3340740
Xin QBehrang FFazzini MOrso A(2019)Identifying Features of Android Apps from Execution Traces2019 IEEE/ACM 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft)10.1109/MOBILESoft.2019.00015(35-39)Online publication date: May-2019
https://doi.org/10.1109/MOBILESoft.2019.00015
Xu ZMa SZhang XZhu SXu BChaudron MCrnkovic IChechik MHarman M(2018)Debugging with intelligence via probabilistic inferenceProceedings of the 40th International Conference on Software Engineering10.1145/3180155.3180237(1171-1181)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3180155.3180237
(2017)Hierarchical regression test case selection using slicingInternational Journal of Computational Science and Engineering10.1504/IJCSE.2017.08288214:2(179-197)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1504/IJCSE.2017.082882
Palepu VXu GJones J(2017)Dynamic Dependence SummariesACM Transactions on Software Engineering and Methodology10.1145/296844425:4(1-41)Online publication date: 9-Jan-2017
https://dl.acm.org/doi/10.1145/2968444
Yang CWu SChan W(2016)Hierarchical Program PathsACM Transactions on Software Engineering and Methodology10.1145/296309425:3(1-44)Online publication date: 22-Aug-2016
https://dl.acm.org/doi/10.1145/2963094
Blyth A(2014)Detection of Sophisticated Network Enabled Threats via a Novel Micro-Proxy ArchitectureJournal of Information Security10.4236/jis.2014.5200405:02(37-45)Online publication date: 2014
https://doi.org/10.4236/jis.2014.52004
Palepu VJones JCrnkovic IChechik MGrünbacher P(2014)Discriminating influences among instructions in a dynamic sliceProceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering10.1145/2642937.2642962(37-42)Online publication date: 15-Sep-2014
https://dl.acm.org/doi/10.1145/2642937.2642962
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten