X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=a2%2F1cases.tex;h=a734777880d99ee32bfb18ffd3448661a2fdd0cc;hb=f87f25c3a2e71e0287490ef7d0adaef92ff58ee0;hp=d30a937d12f1e298c9eb359b0db00c3fbc179051;hpb=429e007fac682ed91353a951d41efaa1f23df07b;p=tt2015.git

diff --git a/a2/1cases.tex b/a2/1cases.tex
index d30a937..a734777 100644
--- a/a2/1cases.tex
+++ b/a2/1cases.tex
@@ -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. \\