Added passing grade to report and removed discussion on randomisation
authorpimjager <pim@pimjager.nl>
Sun, 15 Nov 2015 19:35:03 +0000 (20:35 +0100)
committerpimjager <pim@pimjager.nl>
Sun, 15 Nov 2015 19:35:03 +0000 (20:35 +0100)
a2/1cases.tex
a2/2results.tex

index d30a937..b0531b2 100644 (file)
@@ -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.
 
-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 
index eaa1731..cfde7c7 100644 (file)
@@ -8,11 +8,11 @@ following results:
     \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
@@ -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
-    \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
@@ -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
-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
-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