TESTING E VERIFICA DEL SOFTWARE - 21056

insegnamento

ID:

21056

Dettaglio:

SSD: SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI Durata: 48 CFU: 6

Sede:

DALMINE

Url:

Dettaglio Insegnamento:

INGEGNERIA INFORMATICA - 38-270/PERCORSO COMUNE Anno: 2

INGEGNERIA INFORMATICA - 38-270/PERCORSO COMUNE Anno: 1

Anno:

2025

Course Catalogue:

https://unibg.coursecatalogue.cineca.it/af/2025?co...

Periodo di attività

Secondo Semestre (23/02/2026 - 06/06/2026)

Obiettivi Formativi

Familiarizzare con le fasi di validazione e verifica di sistemi e software all'interno dello sviluppo del software. Apprendere tecniche e metodologie per il testing e la verifica del software,

Prerequisiti

Sapere i principi base delle programmazione (special modo Java) e dell'ingegneria del software.

Metodi didattici

Lezioni frontali con esercitazioni. Durante il corso verranno presentati da parte di alcune aziende dei problemi reali su cui sviluppare i propri progetti.

Verifica Apprendimento

Prova pratica in laboratorio in cui è richiesto di svolgere alcuni esercizi pratici e teorici e prova orale. All'orale, lo studente dovrà presentare un progetto da concordare con li professore. All'inizio del corso verranno proposti alcuni progetti da ditte esterne e lo studente potrà scegliere un progetto industriale (didattica innovativa - modalità consigliata per il progetto).

Contenuti

Introduzione Concetti generali Processo di test e di verifica
Modellazione del sw mediante metodi formali (Logica temporale e Abstract State Machines)
Validazione e Verifica tramite Model Checking Linear-time Temporal Logic (LTL) Computation Tree Logic (CTL) Algoritmi di Model Checking AsmetaSMV
Testing Ruolo del testing Fondamenti teorici Program-based testing (creiteri di copertura) Esecuzione dei test
Verifica del codice Concetti generali sulla logica Concetti generali sulla verifica Design by Contract JML Analisi statica del codice
Testing Model-based Partition testing e testing combinatoriale Testing basato su specifiche (FSM) Concretizzazione dei test