mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Demand-Driven Static Backward Slicing for Unstructured Programs
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0001-9410-1344
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0001-5297-6548
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0003-3242-6113
2019 (Engelska)Rapport (Övrigt vetenskapligt)
Abstract [en]

Backward program slicing identifies the program parts that might influence a particular variable at a program point. A program part (e.g., a statement) can be directly influenced by another part due to its data or control dependence on the later. The classical program slicing approaches are designed to find in advance all the data and control dependencies in the program. This design entails a considerable amount of unnecessary computations because not all the dependencies are required for computing the slice. Demand-driven program slicing approaches try to raise the analysis performance by avoiding the unnecessary computations. However, these approaches cannot address unstructured programs in a demand-driven fashion. On the other hand, the existing techniques that compute the control dependencies in unstructured programs are based on fixed-point iterations, which limits their integration to the demand-driven slicing approaches. Program slicing based on Predicate Code Block (PCB) is a new demand-driven slicing approach that can address only structured programs. This paper presents the first demand-driven technique to compute the control dependencies in unstructured programs. In this regard, the technique uses flow information, location-based information and syntactic structure of the source code. Further, the paper shows how the new technique can be integrated to the PCB-based slicing approach to address unstructured programs.

Ort, förlag, år, upplaga, sidor
2019.
Nyckelord [en]
Static Program AnalysisPredicate Control BlockControl DependenceStatic Program SlicingUnstructured Programs.
Nationell ämneskategori
Teknik och teknologier Datorsystem
Identifikatorer
URN: urn:nbn:se:mdh:diva-45033ISRN: MDH-MRTC-324/2019-1-SEOAI: oai:DiVA.org:mdh-45033DiVA, id: diva2:1345073
Projekt
TESTOMAT Project - The Next Level of Test AutomationTillgänglig från: 2019-08-22 Skapad: 2019-08-22 Senast uppdaterad: 2019-09-17Bibliografiskt granskad
Ingår i avhandling
1. Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs
Öppna denna publikation i ny flik eller fönster >>Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs
2019 (Engelska)Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
Abstract [en]

Static backward program slicing is a technique to compute the set of program statements, predicates and inputs that might affect the value of a particular variable at a program location. The importance of this technique comes from being an essential part of many critical areas such as program maintenance, testing, verification, debugging, among others. The state-of-art slicing approach collects all the data- and control-flow information in the source code before the slicing, but not all the collected information are used for computing the slice. Thus, this approach causes a significant amount of unnecessary computations, particularly for slicing large industrial systems, where unnecessary computations lead to wastage of a considerable amount of processing time and memory. Moreover, this approach often suffers from scalability issues.

The demand-driven slicing approaches aim at solving this problem by avoiding unnecessary computations. However, some of these approaches trade precision for performance, whereas others are not entirely demand-driven, particularly for addressing unstructured programs, pointer analysis, or inter-procedural cases.

This thesis presents a new demand-driven slicing approach that addresses well-structured, unstructured, and inter-procedural programs. This approach has four distinct features, each of which prevents a special type of unnececessary computations. The effectiveness and correctness of the proposed approach are verified using experimental evaluation. In addition, the thesis proposes an approach that can compute on the fly the control dependencies in unstructured programs.

Ort, förlag, år, upplaga, sidor
Västerås: Mälardalen University, 2019
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 284
Nyckelord
Static Program Analysis, Static Program Slicing, Control Dependency
Nationell ämneskategori
Inbäddad systemteknik
Identifikatorer
urn:nbn:se:mdh:diva-45229 (URN)978-91-7485-440-4 (ISBN)
Presentation
2019-11-27, Gamma, Mälardalens högskola, Västerås, 13:15 (Engelska)
Opponent
Handledare
Forskningsfinansiär
KK-stiftelsenVinnovaStiftelsen för strategisk forskning (SSF)
Tillgänglig från: 2019-09-19 Skapad: 2019-09-16 Senast uppdaterad: 2019-11-05Bibliografiskt granskad

Open Access i DiVA

fulltext(1794 kB)29 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 1794 kBChecksumma SHA-512
abf6bc040fd02ea5f8ef89134063c23ffe5db39f08c8074719a96d89a8e54c1450685f81539324c51b3087189e658510fa42ca7cb2de37d73da3fb5d7608c6de
Typ fulltextMimetyp application/pdf

Personposter BETA

Khanfar, HusniLisper, BjörnMubeen, Saad

Sök vidare i DiVA

Av författaren/redaktören
Khanfar, HusniLisper, BjörnMubeen, Saad
Av organisationen
Inbyggda system
Teknik och teknologierDatorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 29 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 96 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf