Logging di applicazioni Java per la verifica runtime

Abstract

La mia tesi si concentra sullo sviluppo di un sistema di logging configurabile per la verifica runtime delle applicazioni Java, utilizzando la libreria java.util.logging. Questo sistema genera tracce di eventi da programmi Java reali, migliorando l'affidabilità del software. L'uso del formato JSON per i log facilita l'analisi e il monitoraggio del comportamento del sistema durante l'esecuzione.

My thesis focuses on the development of a configurable logging system for runtime verification of Java applications, utilizing the java.util.logging library. This system generates event traces from real Java programs, enhancing software reliability. The use of JSON format for logs facilitates the analysis and monitoring of system behavior during execution.