Verslag gesprek Ramon toegevoegd

diff --git a/a3/Gesprekje Ramon 14-12-15.txt b/a3/Gesprekje Ramon 14-12-15.txt
new file mode 100644 (file)
index 0000000..c5c793e
--- /dev/null
+++ b/a3/Gesprekje Ramon 14-12-15.txt
@@ -0,0 +1,22 @@
+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
\ No newline at end of file