Gesprekje Ramon 14-12-15

Interessante punten van testen:
    - Handshake
    - Teardown
Denk eraan dat een connectiereset in principe overal mogelijk is.
Op wiki staat model van TCP

Simplificeer TCP, het gaat om even model based testing onder de knie krijgen.
We maken in feite een Symbolisch Transitie Systeem, (input x , output x+1), 
dat stoppen we weg in de Python/Scapy adapter. 

Zorg ervoor dat het geteste model, en het symbolisch model (dus wat in Python
gebeurd) wel in het verslag staan.

Hebben we non-determinisme?
In principe wel, zit in timing e.d. Maar kun je weg abstracten naar iets
deterministsich, beter daarvoor gaan. 

Deadline: zondag

Interessante tweede tools: JUnit, JTorx, GraphWalker