Cursusinformatie
Deze cursus heeft als onderwerp de validatie en verificatie van software door gebruik te maken van formele (wiskundige) methoden. Het eerste deel van de cursus gaat over het analyseren van modellen van software en het tweede deel gaat over het testen van bestaande software. Voor de analyse worden temporele logica en "model-checking" gebruikt. Het testen gebeurt door middel van "model-based testing" technieken. Een belangrijk concept van deze cursus is dat hetzelfde model wordt gebruikt voor zowel het analyseren als het testen van software.
Cursusmateriaal
Het volledige cursusmateriaal bestaat uit:
Tekstboeken
Edmund M. Clarke, Orna Grumberg en Doron A. Peled,
Model Checking
The MIT press, 1999
http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=3730
Jan Tretmans,
Model Based Testing with Labelled Transition Systems,
Springer, 2008
www.springerlink.com/content/y390356226x154j0
Werkboek van de Open Universiteit
Het werkboek bestaat uit één deel. Het werkboek is aan de Open Universiteit ontwikkeld en heeft twee functies:
- Het leidt de student door de tekstboeken met studeeraanwijzingen, opdrachten en uitwerkingen.
- Het biedt een stuk theorie dat niet voorkomt in de tekstboeken, ook weer met opdrachten en uitwerkingen.
Studienet
Studenten kunnen gebruikmaken van Studienet, een elektronische leeromgeving (ELO) met software, digitaal materiaal, sjablonen voor het uitwerken van opdrachten, discussieruimte en informatie over begeleiding.
Overig cursusmateriaal
Software
Opleidingen
Deze cursus maakt deel uit van de volgende opleidingen van de faculteit Informatica:
Vakgebied
Deze cursus behoort tot het vakgebied Softwaretechnologie van de faculteit Informatica.
Verantwoordelijk docent
Verantwoordelijk docent voor deze cursus is dr. Julien Schmaltz.