## Modelgebaseerd en automatisch testen

Tot slot van deze les nog een toevoeging omtrent de mogelijke oplossing van twee van de genoemde problemen:

### Automatisch (computergestuurd) testen:

Zoals gezegd lijkt het testen van alle mogelijkheden in de meeste gevallen niet paktisch haalbaar.

Als we echter de snelheid van de computer kunnne gebruiken dan is dit bij redelijk eenvoudige systemen soms wel mogelijk.

We spreken dan van geautomatiseerd testen. Bij systemen die met een automaat kunnen worden gemodelleerd is dit een aanpak die steeds vaker wordt toegepast.

Het gaat dan vaak om systemen met een ingebouwde (embedded) computer zoals ook de Roomba.

### Modelgestuurd testen:

Om geautomatiseerd te kunnen testen is het nodig dat de computer een model bevat van van het systeem dat voldoende precies is om de test uit te voeren. Om nog maar eens een quote te gebruiken in dat verband "All models are wrong, but some are useful" George E. P. Box