MUTATION TESTING PER SISTEMI PLC: Progettazione e validazione di un framework per il linguaggio Structured Text

Il software per l'automazione industriale, basato su sistemi PLC e scritto nel linguaggio Structured Text (ST), richiede standard di affidabilità estremamente elevati. Con l'avvento dei Large Language Models (LLM) nella generazione automatica di codice, la necessità di validare le suite di test è diventata una sfida prioritaria per prevenire errori logici critici. Questa tesi presenta la progettazione e lo sviluppo di un framework di Mutation Testing dedicato specificamente al linguaggio Structured Text. A differenza degli approcci tradizionali, il sistema utilizza l'analisi sintattica tramite Abstract Syntax Tree (AST) per inserire mutazioni nel codice, garantendo la generazione di mutanti sintatticamente corretti. Il lavoro dimostra come l'analisi dei mutanti sia una metrica efficace per misurare la robustezza dei test industriali, offrendo uno strumento concreto per migliorare la qualità e la sicurezza del software in contesti di produzione automatizzata.