Model gebaseerde validatie

Tot slot nog een voorbeeld van een validatie test bij de Roomba context.

Open in Greenfoot weer de RoombaVersie2 simulatie die je hebt aangepast in hoofdstuk 3.

 

Simulatie met Greenfoot uit hoofdstuk 3

Als je er vanuit gaat dat het toestandsdiagram in de specificatie stond had deze fout al bij de verificatie moeten zijn ontdekt. Dit benadrukt nogmaals het belang van een goede verificatie voor de validatie!

In het model is de fout vrij eenvoudig te verhelpen door in de methode ruimOp() de volgende regels toe te voegen:
        toestand = "V";
        schrijfToestand();
        Greenfoot.delay(300); // zonder vertraging duurt de teostnd zo kort dat we deze niet opmerken