Merge branch 'master' of https://github.com/dopefishh/tt2015
[tt2015.git] / a2 / 1cases.tex
index 47f7acf..1bfdc39 100644 (file)
@@ -7,65 +7,66 @@ are to be run in a terminal. Commands prefixed with a \texttt{\#} should be run
 with root permissions. Commands prefixed with a \texttt{\$} should be run with
 user permissions.
 
-\begin{longtable}{|p{.2\linewidth}|p{.8\linewidth}|}
+\begin{longtable}{|l|rp{.8\linewidth}|}
        \hline
-       Check 1 & Get the SUT in a workable state.\\
+       Check 1 & \multicolumn{2}{l|}{Get the SUT in a workable state.}\\
        \hline
        \multirow{3}{*}{Course of action} 
-               & 1. Import the VirtualBox image into VirtualBox.\\
-               & 2. Boot the vm.\\
-               & 3. Verify the SUT booted successfully and the network modules are
+               & 1. Import the VirtualBox image into VirtualBox.\\
+               & 2. Boot the vm.\\
+               & 3. Verify the SUT booted successfully and the network modules are
                loaded.\\
        \hline
-       Passed & \textit{Yes/No} \\
+       Passed & \multicolumn{2}{l|}{\textit{Yes/No}}\\
        \hline\hline
-       Check 2 & Verify the SUT is complete. \\
+       Check 2 & \multicolumn{2}{l|}{Verify the SUT is complete.}\\
        \hline
        \multirow{5}{*}{Course of action}
-               & 1. Boot the SUT as in \emph{Check 1}.\\
-               & 2. Verify the loopback device exists by running 
-                       \texttt{\$ ifconfig}.\\
-               & 3. Verify the \emph{echo-server} is present on the system by running
+               & 1. Boot the SUT as in \emph{Check 1}.\\
+               & 2. Verify the loopback device exists by running 
+                        \texttt{\$ ifconfig}.\\
+               & 3. Verify the \emph{echo-server} is present on the system by running
                        \texttt{\$ file code/server/Main.java}\\
-               & 4. Verify \emph{Scapy} is present on the system by running
+               & 4. Verify \emph{Scapy} is present on the system by running
                        \texttt{\$ scapy}.\\
-               & 5. Verify all scripts used for testing are present on the system.\\
+               & 5. Verify all scripts used for testing are present on the system.\\
        \hline
-       Passed & \textit{Yes/No}\\
+       Passed & \multicolumn{2}{l|}{\textit{Yes/No}}\\
        \hline\hline
-       Check 3 & Initialize the testing environment.\\
+       Check 3 & \multicolumn{2}{l|}{Initialize the testing environment..}\\
        \hline
        \multirow{5}{*}{Course of action}
-               & 1. Boot the SUT as in \emph{Check 1}.\\
-               & 2. Setup iptables by executing
+               & 1. Boot the SUT as in \emph{Check 1}.\\
+               & 2. Setup iptables by executing
                        \texttt{\# code/iptables.sh}~\footnote{The IPTables script ensures
                        that the OS does not drop packets due to an the unknown source.}\\
-               & 3. Navigate to the working directory by running
+               & 3. Navigate to the working directory by running
                        \texttt{\$ cd /home/student/tt2015}\\
-               & Compile the echo server by running 
+               & 4. & Compile the echo server by running 
                        \texttt{\# cd code/server \&\& make \&\& cd -}\\
-               & Start the echo server by running
+               & 5. & Start the echo server by running
                        \texttt{\# cd code/server \&\& java Main}\\
        \hline
-       Passed & \textit{Yes/No}\\
+       Passed & \multicolumn{2}{l|}{\textit{Yes/No}}\\
        \hline\hline
-       Check 4 & Test the tool environment.\\
+       Check 4 & \multicolumn{2}{l|}{Test the tool environment.}\\
        \hline
        \multirow{3}{*}{Course of action}
-               & 1. Initialize the SUT as in \emph{Check 3}\\
-               & 2. Execute the test script by running
+               & 1. Initialize the SUT as in \emph{Check 3}\\
+               & 2. Execute the test script by running
                        \texttt{\# code/client/helloworld.py}\\
-               & 3. Verify the console displays a success message.\\
+               & 3. Verify the console displays a success message.\\
        \hline
-       Passed & \textit{Yes/No}\\
+       Passed & \multicolumn{2}{l|}{\textit{Yes/No}}\\
        \hline\hline
-       Check 5 & All test inputs and scripts are present.\\\hline
+       Check 5 & \multicolumn{2}{l|}{All test inputs and scripts are present.}\\
+       \hline
        \multirow{2}{*}{Course of action}
-               & 1. Boot the SUT as in \emph{Check 1}.\\
-               & 2. Verify that the test generation script is present by running
+               & 1. Boot the SUT as in \emph{Check 1}.\\
+               & 2. Verify that the test generation script is present by running
                        \texttt{\$ file code/client/test.py}\\
        \hline
-       Passed & \textit{Yes/No}\\
+       Passed & \multicolumn{2}{l|}{\textit{Yes/No}}\\
        \hline
        \caption{Preflight checklist\label{tbl:preflight}}
 \end{longtable}
@@ -109,7 +110,7 @@ these partitions are given.
        \item Bits flipped in \emph{payload}
                \begin{enumerate}
                        \item Correct payload
-                       \item Payload with even number of bits flipped
+                       \item Payload with bit flips 
                        \item Payload with odd number of bits flipped
                \end{enumerate}
        \item \emph{checksum}
@@ -125,6 +126,25 @@ these partitions are given.
                \end{enumerate}
 \end{enumerate}
 
+These partitions were chosen since they correspond to key parts of the TCP
+specification. 
+
+TCP segments are send over a TCP connection from a \emph{source} to a \emph{destination port}. Therefore segments which are received which have a 
+source or destination port set to an incorrect value should not be regarded
+as segments belonging to the connection. 
+
+TCP uses a \emph{checksum} to catch any error introduced in headers, when this
+checksum does not match the actual computed checksum the packet should be
+disregarded.
+
+The TCP checksum is also an inherently weak one, as it is simply the 
+bitwise negation of the addition in ones complement arithmetic 
+of all 16 bit words in the header and data of the segment (excluding the
+header). Therefore any bit error where the ones complement value of one word
+increases by one, and the value of another decreases by one, is undetected. 
+The SUT should exhibit the same behavior and accept packets where these type
+of bit error occur.
+
 \textbf{hier iets over waarom deze partities relevant zijn! Waarom odd en 
 even number of bits flipped bijv interessant?}
 \bigskip