Menu
Modelleren en testen met behulp van eindige automaten en simulaties
  • Bijlagen
Studiewijzer
  • Onderdelen
  • Leerdoelen
  • Periode planning
Hoofdstuk 1 Introductie (les 1, 2 en 3)
Les 1 Introductie automaten
  • Leerdoelen introductie
  • Introductie video robotstofzuiger
  • Toestandsdiagram
  • Valid cleanings
  • Voldoet de automaat aan de gestelde eisen?
Les 2 Introductie van de context
  • Leerdoelen Robotstofzuiger
  • iRobot Roomba@600
  • Simulatie van de Roomba 600
  • Greenfoot scenario openen
  • Roomba zelf besturen met pijltjes
  • Klassendiagram en broncode
  • Greenfoot, broncode aanpassen
Les 3 Introductie mvvt
  • Leerdoelen MVVT
  • V-model
  • Validatie en verificatie
  • Validatie
  • Verificatie
  • Afronden week 1
Hoofdstuk 1 terugblik
Hoofdstuk 2 Eindige automaten
Les 4 Eindige automaten
  • Leerdoelen eindige toestandsautomaten
  • Toestandsdiagram
  • Vertaalde automaat bij de Roomba
  • Toestandsdiagram gebruiken
Les 5 Automaton simulator
  • Leerdoelen automaton simulator
  • Automaton Simulator
  • Uitleg gebruik Automaton Simulator
  • Valid of non-valid in de siumulator
  • Scenario's
  • Bereikbaarheid en deadlock
  • Tijd in model
Les 6 Een automaat in een andere situatie
  • Leerdoelen wendbaar toepassen automaat
  • Een kruising met verkeerslichten
  • Model (automaat) van de situatie
  • Bijbehorende automaat
  • Voorbeeld model om te testen
  • Afhankelijk van de tijd
Hoofdstuk 2 terugblik
Hoofdstuk 3 simulatie
Les 7 Roomba zelflopend
  • Leerdoelen Java simulatie in Greenfoot
  • Roomba zelf lopend
  • Looppatroon
  • Looppatroon aanpassen
  • Vuil plaatsen
  • Subklassen van Vuil
Les 8 De kamer vullen met vuil
  • Leerdoelen de kamer vullen
  • Wereldklasse Room
  • De kamer automatisch vuil maken
  • De plaats door toeval laten bepalen
  • Flink vuil maken
Les 9 Interieur toevoegen
  • Leerdoelen subklassen maken
  • Een klasse ontwerpen
  • Planten maken en plaatsen
  • Stoel maken en plaatsen
Hoofdstuk 3 terugblik
Hoofdstuk 4 Modelleren en testen
Les 10 Testen
  • Leerdoelen les 10 Testen
  • Testen, waarom???
  • Wet van Boehm
  • Rollen bij softwareontwikkeling
  • Casus Roomba 2000
  • Ontwikkeltaken, testen en fouten
  • Requirements
  • Overige stappen en testen
  • Modelgebaseerd en automatisch testen
Les 11 Verificatie en validatie
  • Leerdoelen les 11 Validatie
  • Verificatie voor validatie
  • Verificatie met automaat
  • Verificatie Greenfoot
  • Worst case handmatig testen
  • Rekening houden met wijzigingen
  • Validatie
  • Model gebaseerde validatie
  • Validatie model
Hoofdstuk 4 terugblik
Afronding
  • Eindopdracht
  • Toets
  • Zoeken in arrangement
    bèta
  • Colofon
  • Opties
    Gebruik
    • Download als PDF
    • Alle download opties
    • Kopieer arrangement
    Weergave
    • Menu links
    • Geen menu
    • Menu onder voor digibord
  • wikiwijs-logo
    • Over Wikiwijs
    • Wikiwijs Updates
    • Disclaimer
    • Privacy
    • Cookies
    Wikiwijs is een dienst van

Automaten

Automaten

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.

Colofon

Het arrangement Automaten is gemaakt met Wikiwijs van Kennisnet. Wikiwijs is hét onderwijsplatform waar je leermiddelen zoekt, maakt en deelt.

Auteur
Chris Trauschke
Laatst gewijzigd
2019-09-06 08:32:24
Licentie

Dit lesmateriaal is gepubliceerd onder de Creative Commons Naamsvermelding 4.0 Internationale licentie. Dit houdt in dat je onder de voorwaarde van naamsvermelding vrij bent om:

  • het werk te delen - te kopiëren, te verspreiden en door te geven via elk medium of bestandsformaat
  • het werk te bewerken - te remixen, te veranderen en afgeleide werken te maken
  • voor alle doeleinden, inclusief commerciële doeleinden.

Meer informatie over de CC Naamsvermelding 4.0 Internationale licentie.

Aanvullende informatie over dit lesmateriaal

Van dit lesmateriaal is de volgende aanvullende informatie beschikbaar:

Toelichting
In ontwikkeling, 1e versie zal rond me 2019 klaar zijn Lessenserie rond het onderwerp automaten uit kernprogramma 'grondslagen'. Door een programma of systeem te modelleren als een automaat met een (eindig) aantal toestanden kun je dit systeem bestuderen en testen.
Leerniveau
VWO 4; VWO 5;
Leerinhoud en doelen
Informatica;
Eindgebruiker
leerling/student
Moeilijkheidsgraad
gemiddeld
Studiebelasting
20 uur 0 minuten
Trefwoorden
automaten, grondslagen

Bronnen

Bron Type
Learn about finite state machines (FSM) using a room-cleaning robot as an example.
https://youtu.be/4XEK7OU2gIw
Video
Roomba 600 video
https://youtu.be/Yf8MuJUGLlI
Video
Introductie video (kijk van 0:40
https://youtu.be/4XEK7OU2gIw
Video
Introductie video (kijk vanaf 3:00 tot 5:00)
https://youtu.be/4XEK7OU2gIw
Video
Automaten
nl
Chris Trauschke
Chris Trauschke
2019-09-06 08:32:24
In ontwikkeling, 1e versie zal rond me 2019 klaar zijn Lessenserie rond het onderwerp automaten uit kernprogramma 'grondslagen'. Door een programma of systeem te modelleren als een automaat met een (eindig) aantal toestanden kun je dit systeem bestuderen en testen.
educationLevel
OnderwijsBegrippenKader
VWO 4
http://purl.edustandaard.nl/begrippenkader/e2026706-0829-4a4c-b726-9409b6f407e1
educationLevel
OnderwijsBegrippenKader
VWO 5
http://purl.edustandaard.nl/begrippenkader/f2513775-3d54-423b-803b-15e06a8c89a8
educationalSubject
OnderwijsBegrippenKader
Informatica
http://purl.edustandaard.nl/begrippenkader/2845473d-ce18-450a-9135-6738abbdc129
leerling/student
PT20H
automaten, grondslagen

Downloaden

Het volledige arrangement is in de onderstaande formaten te downloaden.

  • pdf
  • json
  • IMSCP package

Metadata

  • Metadata overzicht (Excel)

LTI

Leeromgevingen die gebruik maken van LTI kunnen Wikiwijs arrangementen en toetsen afspelen en resultaten terugkoppelen. Hiervoor moet de leeromgeving wel bij Wikiwijs aangemeld zijn. Wil je gebruik maken van de LTI koppeling? Meld je aan via info@wikiwijs.nl met het verzoek om een LTI koppeling aan te gaan.

Maak je al gebruik van LTI? Gebruik dan de onderstaande Launch URL’s.

Arrangement

IMSCC package

Wil je de Launch URL’s niet los kopiëren, maar in één keer downloaden? Download dan de IMSCC package.

  • IMSCC package

Voor developers

Wikiwijs lesmateriaal kan worden gebruikt in een externe leeromgeving. Er kunnen koppelingen worden gemaakt en het lesmateriaal kan op verschillende manieren worden geëxporteerd. Meer informatie hierover kun je vinden op onze Developers Wiki.

Sluiten