conflict
[tt2015.git] / a2 / 1cases.tex
index 03a030e..b0531b2 100644 (file)
@@ -73,7 +73,7 @@ user permissions.
        \caption{Preflight checklist\label{tbl:preflight}}
 \end{longtable}
 
-\subsection{Testing of SUT}
+\subsection{Testing of SUT} \label{sec:testingofsut}
 The SUT is a series of services for other computer programs with no end-user
 facing interface. Therefore the SUT will be tested solely by calling it's
 services through various automated scripts. An automated test suite will be
@@ -166,11 +166,11 @@ TCP guarantees that segments are delivered \emph{in order}
 , even when they are received
 out of order and that missing segments are resend. The SUT should
 exhibit the same behavior. If segments are received out of order it should
-either reassemble them when the missing packet has arrived or request them to
-be resend when the  Missing segments should be re-requested (by ACK-ing
-the correct sequence number).  
+either reassemble them when the missing segment has arrived or request them to
+be resend. Missing segments should be re-requested (by ACK-ing
+their sequence number).  
 
-A single request consists of a number of packets that are sent
+A single request consists of a number of segments that are sent
 to the \emph{echo-server} and back. The TCP specification states that such a
 transaction requires the following messages.
 
@@ -190,7 +190,7 @@ transaction requires the following messages.
 When the \emph{SUT} has received the ACK containing the message it's passed 
 trough to the \emph{echo-server}. The \emph{echo-server} will proceed by ordering 
 the \emph{SUT} to respond by sending the exact same message. When this happens 
-the \emph{SUT} has to construct the last packet in the transaction listed above.
+the \emph{SUT} has to construct the last segment in the transaction listed above.
 
 \bigskip
 
@@ -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{packet
-order} and \emph{dropped packets} 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 
@@ -404,7 +404,7 @@ described in Table~\ref{tbl:testpairs}.
 
        Nr & 6 \\\hline
        Title & 5 requests with 65495byte payload with corrupted source port, destination port and checksum. The second segment is omitted in order to simulate a packet drop on the client side. \\\hline
-       Input & Generated packets with 65495byte payload, second generated packet is removed. \\\hline
+       Input & Generated segments with 65495byte payload, second generated segment is removed. \\\hline
        Expected output & All packets are dropped resulting in a connection time-out. \\\hline
        \multirow{2}{*}{Course of action}
        & 1. Use the steps listed above in order to start the SUT. \\
@@ -457,7 +457,7 @@ described in Table~\ref{tbl:testpairs}.
        
        Nr & 11 \\\hline
        Title & 5 requests with 65495byte corrupted payload that doesn't show up in checksum and corrupted destination port. The second packet is dropped. \\\hline
-       Input & Generated packets with 65495byte payload, in these packets one 16bit word in the payload is increased by 1 and another 16bit word is decreased by 1. The destination port is also increase by one and the second packet is removed. \\\hline
+       Input & Generated packets with 65495byte payload, in these packets one 16bit word in the payload is increased by 1 and another 16bit word is decreased by 1. The destination port is also increase by one and the second segments is removed. \\\hline
        Expected output & All packets are dropped resulting in a connection time-out. \\\hline
        \multirow{2}{*}{Course of action}
        & 1. Use the steps listed above in order to start the SUT. \\
@@ -479,7 +479,7 @@ described in Table~\ref{tbl:testpairs}.
        
        Nr & 13 \\\hline
        Title & Single request with 1byte corrupted payload and corrupted source port, destination port and checksum. \\\hline
-       Input & Generated packet with 1byte payload, in this packet one byte in the payload, the source port and checksum are increased by one. \\\hline
+       Input & Generated segment with 1byte payload, in this segment one byte in the payload, the source port and checksum are increased by one. \\\hline
        Expected output & All packets are dropped resulting in a connection time-out. \\\hline
        \multirow{2}{*}{Course of action}
        & 1. Use the steps listed above in order to start the SUT. \\
@@ -489,7 +489,7 @@ described in Table~\ref{tbl:testpairs}.
 
        Nr & 14 \\\hline
        Title & 5 requests with 1byte corrupted payload and corrupted source port, destination port and checksum. \\\hline
-       Input & Generated packets with 1byte payload, in these packet one byte in the payload, the source port and checksum are increased by one. \\\hline
+       Input & Generated packets with 1byte payload, in these segment one byte in the payload, the source port and checksum are increased by one. \\\hline
        Expected output & All packets are dropped resulting in a connection time-out. \\\hline
        \multirow{2}{*}{Course of action}
        & 1. Use the steps listed above in order to start the SUT. \\