Laatste updatedatum: 2 novembr 2002
Docenten: J.F. Groote en R. Kuiper
Hier staat de powerpointpresentatie van Maurice Siteur over testen met TMAP.
1ste trimester 2002/2003, maandag 4/5de uur (EEG 221), donderdag 3/4de uur (AUD 15). Wordt gegeven in blok B vanaf 14 oktober. De eerste 3 colleges gaan over testen en worden gegeven door J.F. Groote. Het vierde college gaat over praktisch testen met TMap, en wordt gegeven door M. Siteur van Cap Gemini, Ernst & Young. De verdere colleges gaan over verificatie dmv. modale formules en worden gegeven door R. Kuiper.
Schriftelijk tentamen waarbij het materiaal over testen niet, en het materiaal over verificatie wel mag worden gebruikt. Twee studiepunten
Het overzicht van het testgedeelte van het college is in pdf formaat en geeft aan welke onderwerpen wanneer worden behandeld en welke delen van de literatuur moeten worden bestudeerd.
Oude tentamens: