From: pimjager Date: Sun, 20 Dec 2015 21:07:40 +0000 (+0100) Subject: fixed some small errors in the report X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=1ac4369b5164a68c8a873ef56599220e8e5a15f2;p=tt2015.git fixed some small errors in the report --- diff --git a/a3/1modelingTCP.tex b/a3/1modelingTCP.tex index 0db7faf..20b8500 100644 --- a/a3/1modelingTCP.tex +++ b/a3/1modelingTCP.tex @@ -10,7 +10,7 @@ client behaviour such as dropping packets on purpose or tampering with hashes. TCP inherently is a state based system and thus we have considered the following models. -\paragraph{Labeled Transition System (LTS)}. A LTS would +\paragraph{Labeled Transition System (LTS)} A LTS would be a fitting technique to model the SUT in since the behaviour of TCP is that both the server and the client have internal states to which they transition based upon input coming from the other. @@ -21,7 +21,7 @@ LTS would not be a compelling choice if we would test tampering with data and erroneous clients or servers since LTS is purely input output and by default there is no data involved. -\paragraph{Properties}. Describing TCP in terms of properties would in theory +\paragraph{Properties} Describing TCP in terms of properties would in theory be possible but it would require a very different adapter. The adapter should be handed a trace and it should run the entire trace and return the sequence of flags sent and received. Because of the high adapter complexity and the diff --git a/a3/2tools.tex b/a3/2tools.tex index 03e7f8d..cf69a51 100644 --- a/a3/2tools.tex +++ b/a3/2tools.tex @@ -18,7 +18,7 @@ tool. \subsection{\GAST} \GAST is an open source model based test tool developed by Koopman et -al.\cite{koopman2003gast} and is a design specific language written in the +al.\cite{koopman2003gast} and is a domain specific language written in the functional programming language Clean. Models in \GAST must be expressed as functions. \GAST supports two different types of testing. Standard model checking and property based testing. As discussed earlier we are not using