1 Gesprekje Ramon 14-12-15
3 Interessante punten van testen:
6 Denk eraan dat een connectiereset in principe overal mogelijk is.
7 Op wiki staat model van TCP
9 Simplificeer TCP, het gaat om even model based testing onder de knie krijgen.
10 We maken in feite een Symbolisch Transitie Systeem, (input x , output x+1),
11 dat stoppen we weg in de Python/Scapy adapter.
13 Zorg ervoor dat het geteste model, en het symbolisch model (dus wat in Python
14 gebeurd) wel in het verslag staan.
16 Hebben we non-determinisme?
17 In principe wel, zit in timing e.d. Maar kun je weg abstracten naar iets
18 deterministsich, beter daarvoor gaan.
22 Interessante tweede tools: JUnit, JTorx, GraphWalker