The implementation of the SUT is tested using black box testing techniques. A
series of tests asses the correctness of the implementation with regards to the
-TCP specification. These tests are specified in Table~\textbf{referentie naar
-tests-tabel}. The test cases aim to cover the most interesting parts of the TCP
+TCP specification. These tests are specified in Table~\ref{tbl:testpairs}. The test cases aim to cover the most interesting parts of the TCP
specification.
To cover the TCP specification as complete as possible while still maintaining
\subsubsection{Test Cases}
If the SUT passes the preflight checks the actual test cases can be executed.
Table~\ref{tbl:testcases} shows the expected results of each of the test cases
-described in Table~\ref{table:testpairs}.
+described in Table~\ref{tbl:testpairs}.
\setcounter{TCC}{1}
\begin{table}[H]
corrupted is received for each consecutive segment send.\\ \hline
\doTCC & The ACK\# for the SEQ\# of the first segments which is
corrupted is received for each consecutive segment send.\\ \hline
- \hline
\end{tabular}
\caption{Expected results of test cases}
-\label{table:preflightresults}
+\label{tbl:testcases}
\end{table}
% Bij Ramons afwezigheid
\r
\subsection{Preflight checklist}\r
+Execution of the preflight checklist of Table~\red{tbl:preflight}\r
+\r
+\r
+\subsection{Test cases}\r
+\r
%\r
%\textbf{TODO: DEZE TABEL WEL UPDATEN!!}\r
%\r