more results added to paper

[tt2015.git] / a4 / question3.tex

diff --git a/a4/question3.tex b/a4/question3.tex
index 212b38d..51dfc07 100644 (file)
--- a/a4/question3.tex
+++ b/a4/question3.tex
@@ -1,5 +1,9 @@
 The table below contains some statistics about all the different parameter configurations we ran learnlib with.\r
-All except \emph{RivestSchapire} using the Random test method result in the correct model being learned. \r
+The \emph{RivestSchapire} learner using the Random test method resulted in an incorrect model being learned.\r
+When the \emph{KearnsVazirani} learner using the WMethod tester wasn't able to learn a model, this is due the learner hitting a non-deterministic path. \r
+This problem hasn't anything to do with the actual learner and is the result of a uncaught error situation in the adapter.\r
+This shows us that a leaner can be used to test software, since we discovered a bug in our adapter.\r
+Due to time constrains we were not able to fix this bug.\r
 When \emph{WMethod} is selected as the testing method \emph{RivestSchapire} is also able to learn the correct model.\r
 \emph{WMethod} does however increase the time needed to learn the model significantly, when a different learner is used there is no reason not to use the Random testing method.\r
 \r