La qualità del software è in relazione con i test automatici
In questa era dell'informazione, lo sviluppo di software è rapido e produce sistemi sempre più complicati. Per la commercializzazione e l'uso di un prodotto finale, la qualità del software ha dunque un ruolo importante. Tuttavia i test sui software sono sovente condotti con una procedura manuale, che non solo costa tempo e denaro, ma in più è fonte di errori. I test automatici di software invece sono rigorosi e richiedono meno lavoro. In quest'ottica, il progetto AGEDIS ha sviluppato una tecnologia adeguata per la generazione e l'esecuzione automatiche di suite di test per software basati su componenti distribuiti. La modellizzazione e l'analisi del comportamento di una varietà di sistemi, specie quelli basati sulla creazione di processo dinamica e i tipi di dati, sono ottenute con l'aiuto dell'IF (Intermediate Format). Il linguaggio IF esteso permette di esprimere le finalità/scopi dei test e i criteri di copertura per supportare la generazione di test basati su modelli. La versione dinamica di IF è adeguata ai processi di sistemi pluricomponente che girano in parallelo e interagiscono mediante messaggi da punto a punto. Durante i test il numero di processi non è costante, ma può cambiare dinamicamente nel tempo. Questo IF innovativo è flessibile e versatile e può essere usato per interfacciarsi con altri linguaggi modello nel generatore di test AGEDIS. Un altro risultato chiave del progetto è lo speciale profilo XML, ATS (Abstract Test Suite), che comprende un set di istruzioni di test per l'esecuzione a fronte dell'applicazione. Esso include vari casi di test e una serie di simulazioni e osservazioni del sistema durante i test, e gira indipendentemente dal motore usato per l'esecuzione di un test specifico. L'ATS non solo applica in modo coerente il metodo comune UML (Unified Modeling Language), ma in fase di progettazione gli sono state aggiunte particolari funzionalità. Tra queste, test di eventi asincroni, gestione delle interazioni dell'ambiente, uso di eccezioni e parametrizzazione di test con fonti d'input combinatorie, per non citarne che alcune. Per maggiori informazioni, cliccare: http://www.agedis.de
