From: pimjager <pim@pimjager.nl>
Date: Mon, 14 Dec 2015 16:01:19 +0000 (+0100)
Subject: Verslag gesprek Ramon toegevoegd
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=fc53d79505cee4965f536f780774c65b65197e44;p=tt2015.git

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
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