Skip to main content

2017 | OriginalPaper | Buchkapitel

Interprocedural Conditioned Slicing

verfasst von : Madhusmita Sahu, Durga Prasad Mohapatra

Erschienen in: Computational Intelligence in Data Mining

Verlag: Springer Singapore

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

A technique, named Node Marking Conditioned Slicing (NMCS) algorithm, has been proposed to compute conditioned slices for interprocedural programs. First, the System Dependence Graph (SDG) is constructed as an intermediate representation of a given program. Then, NMCS algorithm selects the nodes satisfying a given condition by marking process and computes the conditioned slices for each variable at each statement during marking process. A stack has been used in NMCS algorithm to preserve the context in which a method is called. Some edges of SDG have been labeled to signify which statement calls a method.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Gerardo Canfora, Aniello Cimitile and Andrea De Lucia. Conditioned Program Slicing, Information and Software Technology, Vol. 40, No. 11–12, pp. 595–607, December 1998. Gerardo Canfora, Aniello Cimitile and Andrea De Lucia. Conditioned Program Slicing, Information and Software Technology, Vol. 40, No. 11–12, pp. 595–607, December 1998.
2.
Zurück zum Zitat Sebastian Danicic, Chris Fox, Mark Harman and Rob Hierons. ConSIT: A Conditioned Program Slicer. In proceedings of International Conference on Software Maintenance (ICSM ’00), pp. 216–226, 2000. Sebastian Danicic, Chris Fox, Mark Harman and Rob Hierons. ConSIT: A Conditioned Program Slicer. In proceedings of International Conference on Software Maintenance (ICSM ’00), pp. 216–226, 2000.
3.
Zurück zum Zitat Chris Fox, Sebastian Danicic, Mark Harman and Robert M. Hierons. ConSIT: A Fully Automated Conditioned Program Slicer. Software-Practice and Experience-SPE, Vol. 34, No. 1, pp. 15–46, 2004. Chris Fox, Sebastian Danicic, Mark Harman and Robert M. Hierons. ConSIT: A Fully Automated Conditioned Program Slicer. Software-Practice and Experience-SPE, Vol. 34, No. 1, pp. 15–46, 2004.
4.
Zurück zum Zitat Susan Horwitz, Thomas Reps and David Binkley. Interprocedural Slicing using Dependence Graphs. ACM Transactions on Programming Languages and Systems, Vol. 12, No. 1, pp. 26–60, January 1990. Susan Horwitz, Thomas Reps and David Binkley. Interprocedural Slicing using Dependence Graphs. ACM Transactions on Programming Languages and Systems, Vol. 12, No. 1, pp. 26–60, January 1990.
5.
Zurück zum Zitat Rob Hierons, Mark Harman, Chris Fox, Mohammed Daoudi and Lahcen Ouarbya. Conditioned Slicing Supports Partition Testing, Software Testing, Verification and Reliability, Vol. 12, No. 1, pp. 23–28, 2002. Rob Hierons, Mark Harman, Chris Fox, Mohammed Daoudi and Lahcen Ouarbya. Conditioned Slicing Supports Partition Testing, Software Testing, Verification and Reliability, Vol. 12, No. 1, pp. 23–28, 2002.
6.
Zurück zum Zitat Sebastian Danicic, Andrea De Lucia and Mark Harman. Building Executable Union Slices using Conditioned Slicing. In proceedings of 12th IEEE International Workshop on Program Comprehension, pp. 89–97, 24–26 June 2004. Sebastian Danicic, Andrea De Lucia and Mark Harman. Building Executable Union Slices using Conditioned Slicing. In proceedings of 12th IEEE International Workshop on Program Comprehension, pp. 89–97, 24–26 June 2004.
7.
Zurück zum Zitat Diego Cheda and Salvador Cavadini. Conditioned Slicing for First Order Functional Logic Programs. In proceedings of 17th International Workshop on Functional and (Constraint) Logic Programming (WFLP ’08), pp. 1–14, Elsevier Science, Vol. 34, July 2008. Diego Cheda and Salvador Cavadini. Conditioned Slicing for First Order Functional Logic Programs. In proceedings of 17th International Workshop on Functional and (Constraint) Logic Programming (WFLP ’08), pp. 1–14, Elsevier Science, Vol. 34, July 2008.
8.
Zurück zum Zitat Josep Silva. A Vocabulary of Program Slicing Based Techniques. ACM Computing Surveys (CSUR), Vol. 44, No. 3, June 2012. Josep Silva. A Vocabulary of Program Slicing Based Techniques. ACM Computing Surveys (CSUR), Vol. 44, No. 3, June 2012.
Metadaten
Titel
Interprocedural Conditioned Slicing
verfasst von
Madhusmita Sahu
Durga Prasad Mohapatra
Copyright-Jahr
2017
Verlag
Springer Singapore
DOI
https://doi.org/10.1007/978-981-10-3874-7_44