# Hoofdstuk 1 terugblik

Dit eerste hoofdstuk was een introductie van de gehele module:

Je hebt kennisgemaakt met eindige automaten (les 1) en met de context van deze module de Roomba robotstofzuiger. Over eindige automaten gaat hoofdstuk 2 en de eindopdracht.

In de tweede les heb je naast context - content onderwijs ook kennisgemaakt met het Java model gemakt in Greenfoot van de Roomba en gezien dat dit model meer aspecten kan testen. Hoofdstuk 3 gaat dieper in op deze vorm van modelleren met behulp van Grenfoot.

De derde les ging over de begrippen modelleren, valideren, verificeren en testen en de toepassing daarvan binnen softwareengineering. In hoofdstuk 4 gebruik je de automaat en de simulatie in relatie met valideren, verificeren en testen.

Lees nog eens goed de leerdoelen van de drie lessen en kijk of je deze beheerst.

Aan het begin van les 4 doe je een afsluitende test (15 minuten) op It's Learning om te toetsen of je de leerdoelen van de betreffende lessen hebt bereikt en op welk niveau.

Daarna ga je in hoofdstuk 2 je meer verdiepen in 'eindige toestandsautomaten'.