ETD system

Electronic theses and dissertations repository

 

Tesi etd-11282011-092744


Thesis type
Tesi di laurea magistrale
Author
CIMINO, ANDREA
URN
etd-11282011-092744
Title
Programmazione logica con vincoli per la generazione automatica di test su programmi C/C++
Struttura
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Commissione
relatore Prof. Levi, Giorgio
relatore Prof. Bagnara, Roberto
controrelatore Prof. Corradini, Andrea
Parole chiave
  • Nessuna parola chiave trovata
Data inizio appello
16/12/2011;
Consultabilità
parziale
Data di rilascio
16/12/2051
Riassunto analitico
Nella presente tesi di laurea viene proposto un approccio per la generazione<br>automatica di test per programmi C/C++ che si basa sulla programmazione logica<br>con vincoli, integrato nell&#39;analizzatore di programmi ECLAIR. In prima istanza,<br>viene chiarito il ruolo dei comportamenti indefinti nei linguaggi di<br>programmazione. Successivamente vengono descritti i principali criteri di<br>copertura definiti in letteratura. Infine, si descrive il processo di<br>generazione automatica di test. Si chiarisce il ruolo della forma SSA e come<br>questa venga calcolata dinamicamente. Si passa poi alla valutazione delle<br>espressioni e alla relativa gestione dei comportamenti indefiniti. Viene poi<br>trattata la gestione degli operatori bitwise e la successiva integrazione del<br>generatore di test nell&#39;analizzatore ECLAIR. Infine si illustrano le principali<br>tecniche per risolvere i problemi CLP(FD): oltre alla propagazione ed al<br>labeling, viene descritta la tecnica della Dynamic Linear Relaxation,<br>proposta da Arnaud Gotlieb.
File