X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=a2%2F1cases.tex;h=a734777880d99ee32bfb18ffd3448661a2fdd0cc;hb=de45b446f4a770b52fb0512f45018e01475af235;hp=85064bc5149c2f39f943270084af3e36df971554;hpb=80df32309cea3df0928969902dfe9097bc0cd18c;p=tt2015.git

diff --git a/a2/1cases.tex b/a2/1cases.tex
index 85064bc..a734777 100644
--- a/a2/1cases.tex
+++ b/a2/1cases.tex
@@ -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
@@ -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{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 
@@ -394,7 +394,7 @@ described in Table~\ref{tbl:testpairs}.
 
 	Nr & 5 \\\hline
 	Title & 5 requests with 1byte 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 1byte payload, two packets are swapped in position. \\\hline
+	Input & Generated packets with 1byte 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. \\
@@ -437,7 +437,7 @@ described in Table~\ref{tbl:testpairs}.
 	
 	Nr & 9 \\\hline
 	Title & 5 requests with 1byte corrupted payload, invalid checksum and the second packet is dropped. \\\hline
-	Input & Generated packets with 1byte payload, in these packets the payload byte and checksum are increased by one. \\\hline
+	Input & Generated packets with 1byte payload, in these packets the payload byte and checksum are increased by one. The second 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. \\
@@ -447,7 +447,7 @@ described in Table~\ref{tbl:testpairs}.
 	
 	Nr & 10 \\\hline
 	Title & 5 requests with 65495byte corrupted payload, invalid checksum and the second packet is dropped. \\\hline
-	Input & Generated packets with 65495byte payload, in these packets one of the payload bytes and the checksum are increased by one. \\\hline
+	Input & Generated packets with 65495byte payload, in these packets one of the payload bytes and the checksum are increased by one. The second packet 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 segments 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 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. \\