Programma

[Link ufficiale alla pagina ufficiale]https://unibg.coursecatalogue.cineca.it/corsi/2025/89/insegnamenti/2025/9207_45424_1581/2025/9207_77402?schemaid=77402)

I corso avrà come argomenti:

  1. introduzione al testing e verifica di sistemi software
  2. modellazione (FSM, logica, asmeta)
  3. model verification (model checking) + asmeta
  4. program verification (design by contract - JML) - analisi statica dei programmi
  5. program based testing (JUnit, copertura, …)
  6. model based testing

Un draft della mappa del corso è questa.

dal 2026

Nel 2026, cone nel 2025 il progetto su cui applicare le tecniche di testing e verifica sarà a scelta dello studente - chi vuole presentare un progetto industriale è benevenuto ma non è obbligatorio

Il libro che seguiamo è:

Software Testing and Analysis: Process, Principles, and Techniques Mauro Pezzè e Michal Young

Il materiale viene pubblicato sul team dell’anno in corso ma c’è del materiale anche sotto restricted con accessso mediante password. Sotto questa area trovate:

Il codice visto a lezione e ad esercitazione, con temi d’esame, si trova qui: https://github.com/garganti/corso_unibg_tvsw

Esame

L’esame consiste in una prova scritta di circa 4/5 ore in cui avrete una parte con esercizi teorici e un parte con degli esercisi pratici. A seguire un orale con la presentazione di un progetto. Le modalità dell’esame e i requisiti del progetto vengono pubblicati su teams.

Durante l’esame per la parte pratica potete consultare tutto il materiale che volete (libri e file che potete copiarvi sul desktop) ma non collegarvi ad Internet (nè comunicare con altri mezzi). Non potete usare il telefonino. Portate lo zip contenente eclipse con i tools che potete scaricare dall’area riservata. Potete utilizzare delle chiavette USB ma solo all’inizio dell’esame e vanno poi riposte (potete utilizzarle alla fine per ricopiare la vostra soluzione).

Potete usare il vostro PC solo se non ha wifi.

My sw links