a3/Gesprekje Ramon 14-12-15.txt

   1 Gesprekje Ramon 14-12-15
   2
   3 Interessante punten van testen:
   4     - Handshake
   5     - Teardown
   6 Denk eraan dat een connectiereset in principe overal mogelijk is.
   7 Op wiki staat model van TCP
   8
   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.
  12
  13 Zorg ervoor dat het geteste model, en het symbolisch model (dus wat in Python
  14 gebeurd) wel in het verslag staan.
  15
  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.
  19
  20 Deadline: zondag
  21
  22 Interessante tweede tools: JUnit, JTorx, GraphWalker