Programma
Link ufficiale alla pagina ufficiale
I corso avrà come argomenti:
- program based testing (JUnit, copertura, …)
- program verification (design by contract - JML) - analisi statica dei programmi
- model verification (model checking) + asmeta
- model-based testing
Un draft della mappa del corso è questa.
novità del 2024
Nel 2024, il progetto su cui applicare le tecniche di testing e verifica viste sarà dato da alcune aziende.
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:
- tutti gli appunti e le slide del corso
- tutorial ed esercitazioni
- temi d’esame con alcune soluzioni (anche su github)
- un elipse in zip win 32 con tutti i plugin.
Il codice visto a lezione e ad esercitazione, con temi d’esame, si trova qui: https://github.com/garganti/corso_unibg_tvsw
Esame (modalità senza progetto)
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 progettto 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 plugin 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 o se siete solo in un paio di studenti a sostenere l’esame.