Added passing grade to report and removed discussion on randomisation

diff --git a/a2/1cases.tex b/a2/1cases.tex
index d30a937..b0531b2 100644 (file)
--- a/a2/1cases.tex
+++ b/a2/1cases.tex
@@ -257,12 +257,12 @@ As always, $100\%$ completeness is not feasible, therefore test cases are
 carefully selected to cover the most interesting parts of the TCP specification
 to ensure a complete but feasible test suite.
 
 carefully selected to cover the most interesting parts of the TCP specification
 to ensure a complete but feasible test suite.
 

-To further increase the coverage of the test suites tests are randomized. The
-tests which test the handling of \emph{bit errors}, changes in the \emph{segment
-order} and \emph{dropped segments} randomize where they introduce an error. The
-test suite runs these tests multiple times to increase the likelihood that they
-discover a fault which is only present when an error occurs in a certain
-position. 
+%To further increase the coverage of the test suites tests are randomized. The
+%tests which test the handling of \emph{bit errors}, changes in the \emph{segment
+%order} and \emph{dropped segments} randomize where they introduce an error. The
+%test suite runs these tests multiple times to increase the likelihood that they
+%discover a fault which is only present when an error occurs in a certain
+%position. 

 
 To further decrease the number of tests needed test cases are divided into
 equivalence partitions and the combination of cases as described in 
 
 To further decrease the number of tests needed test cases are divided into
 equivalence partitions and the combination of cases as described in 

diff --git a/a2/2results.tex b/a2/2results.tex
index eaa1731..cfde7c7 100644 (file)
--- a/a2/2results.tex
+++ b/a2/2results.tex
@@ -8,11 +8,11 @@ following results:
     \begin{tabular}{|l|l|}\r
     \hline\r
     Check \# & result \\  \hline \hline\r
     \begin{tabular}{|l|l|}\r
     \hline\r
     Check \# & result \\  \hline \hline\r

-    1 & RESULT\\  \hline\r
-    2 & RESULT\\  \hline\r
-    3 & RESULT\\  \hline\r
-    4 & RESULT\\  \hline\r
-    5 & RESULT\\  \hline\r
+    1 & Passed\\  \hline\r
+    2 & Passed\\  \hline\r
+    3 & Passed\\  \hline\r
+    4 & Passed\\  \hline\r
+    5 & Passed\\  \hline\r

     \end{tabular}\r
 \caption{Results of the preflight checks}\r
 \label{tbl:preflightresults}\r
     \end{tabular}\r
 \caption{Results of the preflight checks}\r
 \label{tbl:preflightresults}\r


@@ -29,30 +29,24 @@ Table~\ref{tbl:testcases} yields the following results:
     \begin{tabular}{|l|l|}\r
     \hline\r
     Test case \# & result \\  \hline \hline\r
     \begin{tabular}{|l|l|}\r
     \hline\r
     Test case \# & result \\  \hline \hline\r

-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
-    \doTCC & RESULT\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r
+    \doTCC & Passed\\  \hline\r

     \end{tabular}\r
 \caption{Results of the test cases}\r
 \label{tbl:testcasesresults}\r
     \end{tabular}\r
 \caption{Results of the test cases}\r
 \label{tbl:testcasesresults}\r


@@ -60,10 +54,10 @@ Table~\ref{tbl:testcases} yields the following results:
 \r
 \subsection{Result}\r
 To pass the test the SUT has to pass all the specified test cases (\r
 \r
 \subsection{Result}\r
 To pass the test the SUT has to pass all the specified test cases (\r

-Table~\ref{tbl:tpreflight} and Table~\ref{tbl:testpairs}). As can be seen in\r
+Table~\ref{tbl:preflight} and Table~\ref{tbl:testpairs}). As can be seen in\r

 Table~\ref{tbl:preflightresults} and Table~\ref{tbl:testcasesresults} this is\r
 %not %remove first % in case of any failure\r
 Table~\ref{tbl:preflightresults} and Table~\ref{tbl:testcasesresults} this is\r
 %not %remove first % in case of any failure\r

-the case. Therefore the SUT has PASSED/FAILED this test.\r
+the case. Therefore the SUT has Passed this test suite.\r

 %This failure is due to the failure of the test case(s) 1,2,3,n as specified\r
 %where the SUT failed to behave in the expected way by... %behavior dat SUT wel\r
 %%liet zien \r
 %This failure is due to the failure of the test case(s) 1,2,3,n as specified\r
 %where the SUT failed to behave in the expected way by... %behavior dat SUT wel\r
 %%liet zien \r