Programma

Link ufficiale alla pagina ufficiale

I corso avrà come argomenti:

  1. program based testing
  2. program verification (design by contract)
  3. model verification (model checking)
  4. model-based testing

Un draft della mappa del corso è questa.

Il libro che seguiamo è:

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

Il materiale si trova sotto restricted con accessso mediante password. Sotto questa area trovate:

Il codice visto a lezione e ad esercitazione, si trova qui: https://github.com/garganti/unibg_tvsw

Esame

L’esame consiste in una prova scritta di circa 4/5 ore in cui avrete un esercizio a cui applicare tutte le tecniche viste e lezione. A seguire un orale. In genere gli esercizi per lo scritto sono con i relativi punti:

Il voto finale sarà la media tra lo scritto e l’orale in 30 (orale peserà il 25% del voto finale circa)

Durante l’esame 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.

My sw links