https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Objects-Based Slicing
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0001-9410-1344
2014 (English)Report (Other academic)
Abstract [en]

Static slicing selects a part of the program that can possibly affect the slicing criterion in question. The standard algorithm in the slicing is based upon the Program Dependency Graph (PDG). PDG is constructed upon Control Flow Graph (CFG) nodes, which afterwards, are connected by control and data dependencies edges. PDG-Based slicing algorithm requires building in advance a PDG, which can be quite an expensive operation. Two new improvements are proposed to this scheme: rstly, Strongly Live Variables (SLV) data flow analysis is used rather than Reaching Definitions to compute the data dependencies. This has the advantage that the slicing of program statements can be done concurrently with the SLV analysis as well as it eliminates the need to build a Data Dependence Graph (DDG). Secondly, for well-structured code, an Object-Based representation of the code is designed, Objects structured into loops and conditionals, which directly captures the control dependencies: thus, the Control Dependence Graph (CDG) needs not be built. This scheme also allows for a more efficient representation of the SLV sets, and a simpler test that the fixed-point iteration in the combined SLV analysis and slicing has converged.

Place, publisher, year, edition, pages
Västerås, Sweden: Mälardalen Real-Time Research Centre, Mälardalen University , 2014.
Series
MRTC Reports, ISSN 1404-3041
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-27156ISRN: MDH-MRTC-284/2014-1-SEOAI: oai:DiVA.org:mdh-27156DiVA, id: diva2:774115
Projects
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsDemand-Driven SlicingAvailable from: 2014-12-22 Created: 2014-12-19 Last updated: 2014-12-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

http://www.es.mdh.se/pdf_publications/3554.pdf

Authority records

Khanfar, Husni

Search in DiVA

By author/editor
Khanfar, Husni
By organisation
Embedded Systems
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 166 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf