Start with explenation of partitions
authorpimjager <pim@pimjager.nl>
Wed, 11 Nov 2015 13:48:19 +0000 (14:48 +0100)
committerpimjager <pim@pimjager.nl>
Wed, 11 Nov 2015 13:48:19 +0000 (14:48 +0100)
a2/1cases.tex

index 6eaa380..d77edb7 100644 (file)
@@ -113,13 +113,32 @@ 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 Correct or Incorrect \emph{checksum}
        \item Packets received in or out of order, or missing packets
 \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