Framework iets uitgebreid. Grove versie symbolic transition system van driver toegevoegd

[tt2015.git] / a3 / 2tools.tex

diff --git a/a3/2tools.tex b/a3/2tools.tex
index f56417b..22dd196 100644 (file)
--- a/a3/2tools.tex
+++ b/a3/2tools.tex
@@ -4,6 +4,10 @@
 % argue why you selected these
 % tools. (See also the list of MBT tools below.)
 
-\subsection{JTorx of Jwhatever ofzo}
+To test the TCP model of Section~\ref{sec:modeling} two tools have been
+considered. \GAST and JTorx. The sections below discuss the upsides and
+downsides of these tools in regard to testing the SUT.
+
+\subsection{JTorx of Graphwalker ofzo}
 
 \subsection{\GAST}
\ No newline at end of file