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
\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
\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
\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