somme ex2 and ex3 text

[tt2015.git] / a3 / Gesprekje Ramon 14-12-15.txt

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