Program Slicing: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: spazi attorno alle parentesi e modifiche minori |
m Bot: numeri di pagina nei template citazione |
||
Riga 2:
Nella [[Programmazione (informatica)|programmazione informatica]], '''il program slicing''' è il calcolo dell'insieme di istruzioni del programma, chiamato '''program slice''', che può influenzare i valori in un punto di interesse, denominato '''criterio di slicing''' . Lo slicing del programma può essere utilizzato nel [[Debugging|debug]] per individuare più facilmente la fonte degli errori. Altre applicazioni dello slicing includono [[Manutenzione (sviluppo software)|la manutenzione del software]], [[Ottimizzazione (informatica)|l'ottimizzazione]], l'analisi dei programmi e il controllo del flusso di informazioni .
Le tecniche di slicing hanno visto un rapido sviluppo sin dalla definizione originale di [[Mark Weiser]] . Inizialmente lo slicing era solo statico, cioè applicato al codice sorgente senza altre informazioni oltre al codice sorgente. [[Bogdan Korel]] e [[Janusz Laski]] hanno introdotto ''lo slicing dinamico'', che funziona su una specifica esecuzione del programma (per una data traccia di esecuzione).<ref>{{Cita pubblicazione|volume=29|doi=10.1016/0020-0190(88)90054-3}}</ref> Esistono altre forme di slicing, ad esempio il path slicing.<ref>{{Cita libro|nome=Ranjit|cognome=Jhala|nome2=Rupak|cognome2=Majumdar|titolo=Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation|data=2005|editore=ACM|pp=
== Slicing statico ==
| |||