APICe » Theses » tuPrologHugeTesting

Testing esaustivo di un interprete Prolog su piattaforma Java 

Fabrizio Sabbioni


tuProlog è un interprete Prolog scritto in Java. Obiettivo di questa tesi è eseguire su esso un'ampia suite di test, alcuni dei quali attualmente falliscono, andando a ricercare e documentare adeguatamente il motivo di dettaglio di tali fallimenti in modo da porre le basi per la loro correzione, con l'obiettivo finale di un "100% success" sul sottoinsieme di test ritenuto più rilevante e adeguata roadmap per la risoluzione della restante parte.


Enrico Denti (Supervisor)
Andrea Omicini (Co-supervisors)