In this paper we refine the traditional program slicing technique proposed by Mark Weiser along with the static analysis and dataflow analysis results on a given program in order to remove the statements that do not affect a given property. In order to do that, we apply a forward static analysis to extract properties of each variable in each program point, followed by a backward slicing algorithm to collect the slice. This results into a deeper insight on the strong relation between slicing and property based dependency.

A Framework for Property-driven Program Slicing

CORTESI, Agostino;
2009

Abstract

In this paper we refine the traditional program slicing technique proposed by Mark Weiser along with the static analysis and dataflow analysis results on a given program in order to remove the statements that do not affect a given property. In order to do that, we apply a forward static analysis to extract properties of each variable in each program point, followed by a backward slicing algorithm to collect the slice. This results into a deeper insight on the strong relation between slicing and property based dependency.
Computer, Communication, Control and Information Technology
File in questo prodotto:
File Dimensione Formato  
ALDB-023.pdf

non disponibili

Tipologia: Abstract
Licenza: Accesso chiuso-personale
Dimensione 116.99 kB
Formato Adobe PDF
116.99 kB Adobe PDF   Visualizza/Apri

I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10278/4385
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact