skip to main content
10.1145/1363686.1363861acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
research-article

Scenario oriented program slicing

Published: 16 March 2008 Publication History

Abstract

Slicing is an important decomposition technique for program understanding. However, traditional slicing methods tend to produce too large slices for human inspection as modern programs are often huge and static program analyses are hard to be precise enough. One possible solution to such problem could be combining other program decomposition techniques together with program slicing. With such inspiration, this paper proposes a scenario oriented program slicing method to slice programs under specified execution scenarios. The scenarios provide a clear and easy understanding functional decomposition for the system, while the new slicing method can help figure out how a computation is implemented in a given scenario by effectively reducing the amount of code that a user needs to inspect.

References

[1]
G. Booch, J. Rumbaugh, and I. Jacobson. The unified modeling language user guide, Addison Wesley, 1999.
[2]
Z. Chen, B. Xu, W. Chu, H. Yang and J. Zhao. Slicing larger programs partially. In Proceedings of the International Conference on Software Engineering Research and Practice, 2003.
[3]
G. Canfora, A. Cimitile, and A. De Lucia. Conditioned program slicing. Information and Software Technology Special Issue on Program Slicing, vol. 40, pp. 595--607, 1998.
[4]
J. M. Carroll. Scenario-based design: Envisioning work and technology in system development. Wiley, 1995.
[5]
A. Dunsmore, M. Roper, and M. Wood. The development and evaluation of three diverse techniques for object oriented code inspections. IEEE Transactions on Software Engineering, 29(8): 677--686, 2003.
[6]
J. Field, G. Ramalingam, and F. Tip. Parametric program slicing. In Proceedings of the ACM Symposium on Principles of Programming Languages, pp. 379--392, 1995.
[7]
R. Gupta, M. L. Soffa, and J. Howard. Hybrid slicing: integrating dynamic information with static analysis. ACM Transactions on Software Engineering and Methodology, 6(4): 370--397, 1997.
[8]
S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependency graphs. ACM Transaction on Programming Languages and Systems, 22(1): 26--60, 1990.
[9]
I. Jacobson. Object oriented software engineering: A use case driven approach. Addison Wesley, 1992.
[10]
B. Korel and J. Laski. Dynamic slicing of computer programs. The Journal of Systems and Software 13(3): 187--195, 1990.
[11]
J. Krinke. Barrier slicing and chopping. In Proceedings of 3rd IEEE International Workshop on Source Code Analysis and Manipulation, 2003.
[12]
A. Nishimatsu, M. Jihira, S. Kusumoto, and K. Inoue. Call-mark slicing: an efficient and economical way of reducing slice. In Proceedings of International Conference of Software Engineering, pp. 422--431, 1999.
[13]
T. Reps, S. Horwitz, and M. Sagiv. Precise interprocedural dataflow analysis via graph reachability. In Proceedings of ACM Symposium on Principles of Programming Languages, pp. 49--61, 1995.
[14]
F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121--189, 1995.
[15]
B. Xu, Z. Chen and H. Yang. Dynamic slicing object-oriented programs for debugging. In 2nd IEEE International Workshop on Source Code Analysis and Manipulation, 2002.
[16]
B. Xu, J. Qian, X. Zhang, Z. Wu, and L. Chen. A brief survey of program slicing. ACM SIGSOFT Software Engineering Notes, 30(2):10--45, 2005.
[17]
Soot. http://www.sable.mcgill.ca/soot/
[18]
AmaterasUML. http://amateras.sourceforge.jp
[19]
Eclipse JDT. http://www.eclipse.org/jdt/

Cited By

View all
  • (2023)Slicing‐Based Techniques for Software Fault LocalizationHandbook of Software Fault Localization10.1002/9781119880929.ch3(135-200)Online publication date: 21-Apr-2023
  • (2023)Software Fault Localization: an Overview of Research, Techniques, and ToolsHandbook of Software Fault Localization10.1002/9781119880929.ch1(1-117)Online publication date: 21-Apr-2023
  • (2020)Must Fault Localization for Program RepairComputer Aided Verification10.1007/978-3-030-53291-8_33(658-680)Online publication date: 14-Jul-2020
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SAC '08: Proceedings of the 2008 ACM symposium on Applied computing
March 2008
2586 pages
ISBN:9781595937537
DOI:10.1145/1363686
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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 March 2008

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. decomposition
  2. program slicing
  3. program understanding
  4. scenario

Qualifiers

  • Research-article

Funding Sources

Conference

SAC '08
Sponsor:
SAC '08: The 2008 ACM Symposium on Applied Computing
March 16 - 20, 2008
Fortaleza, Ceara, Brazil

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25
The 40th ACM/SIGAPP Symposium on Applied Computing
March 31 - April 4, 2025
Catania , Italy

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)1
Reflects downloads up to 14 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)Slicing‐Based Techniques for Software Fault LocalizationHandbook of Software Fault Localization10.1002/9781119880929.ch3(135-200)Online publication date: 21-Apr-2023
  • (2023)Software Fault Localization: an Overview of Research, Techniques, and ToolsHandbook of Software Fault Localization10.1002/9781119880929.ch1(1-117)Online publication date: 21-Apr-2023
  • (2020)Must Fault Localization for Program RepairComputer Aided Verification10.1007/978-3-030-53291-8_33(658-680)Online publication date: 14-Jul-2020
  • (2019)Scenario Oriented Program Slicing for Large-Scale Software Through Constraint Logic Programming and Program TransformationIEEE Access10.1109/ACCESS.2018.28531537(62352-62360)Online publication date: 2019
  • (2016)A Survey on Software Fault LocalizationIEEE Transactions on Software Engineering10.1109/TSE.2016.252136842:8(707-740)Online publication date: 1-Aug-2016

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media