# Modelleren en testen met behulp van eindige automaten en simulaties

Deze module gaat over software ontwikkeling en dan specifiek over testen op grond van modellen zoals een eindige automaat en een simulatie.

Je maakt kennis met de robotstofzuiger Roomba die als verbindende context zal worden gebruikt in hoofdstuk 1 t/m 4.

Je kunt de module binnen It's Learning bekijken of via de link als losse website.

Je maakt gebruik van 2 gratis software omgevingen Greenfoot en de Automaton Simulator.