logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-06292004-113623


Tipo di tesi
Tesi di laurea vecchio ordinamento
Autore
Casamassima, Gianfranco
Indirizzo email
s191343@studenti.ing.unipi.it
URN
etd-06292004-113623
Titolo
Uno strumento per la verifica delle subroutine nel bytecode Java per sistemi con risorse limitate
Dipartimento
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Relatori
relatore De Francesco, Nicoletta
relatore Bernardeschi, Cinzia
Parole chiave
  • subroutine
  • verifica
  • bytecode
  • java
Data inizio appello
22/07/2004
Consultabilità
Completa
Riassunto
Java è un linguaggio di programmazione interpretato: i sorgenti vengono compilati in file binari che contengono istruzioni codificate in un formato binario indipendente, il bytecode, ed interpretate dalla Java Virtual Machine. La verifica del bytecode Java consiste nell'analizzare la correttezza del codice, questa analisi su sistemi embedded richiede l'utilizzo ottimizzato delle risorse del sistema. In questa tesi è stato affrontato il problema della verifica delle subroutine per lo sviluppo di un verificatore di bytecode ottimizzato. In particolare è stato progettato e sviluppato un componente che effettua una verifica polivariante delle subroutine e minimizza l'occupazione di memoria durante la verifica. Nella tesi vengono riportati i risultati sperimentali ottenuti.