mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Enhanced PCB Based Slicing
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
2016 (engelsk)Inngår i: Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation, Pereslavl-Zalessky, Russian Federation, 2016, s. 71-91Konferansepaper, Publicerat paper (Fagfellevurdert)
sted, utgiver, år, opplag, sider
Pereslavl-Zalessky, Russian Federation, 2016. s. 71-91
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-33770OAI: oai:DiVA.org:mdh-33770DiVA, id: diva2:1048531
Konferanse
Fifth International Valentin Turchin Workshop on Metacomputation META 2016 , 27 Jun 2016, Pereslavl-Zalessky, Russian Federation
Prosjekter
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsTilgjengelig fra: 2016-11-21 Laget: 2016-11-21 Sist oppdatert: 2019-09-17bibliografisk kontrollert
Inngår i avhandling
1. Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs
Åpne denne publikasjonen i ny fane eller vindu >>Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs
2019 (engelsk)Licentiatavhandling, med artikler (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Västerås: Mälardalen University, 2019
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 284
Emneord
Static Program Analysis, Static Program Slicing, Control Dependency
HSV kategori
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 (engelsk)
Opponent
Veileder
Forskningsfinansiär
Knowledge FoundationVinnovaSwedish Foundation for Strategic Research
Tilgjengelig fra: 2019-09-19 Laget: 2019-09-16 Sist oppdatert: 2019-09-19bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Søk i DiVA

Av forfatter/redaktør
Khanfar, HusniLisper, Björn
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 12 treff
RefereraExporteraLink to record
Permanent link

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