X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=a2%2F1cases.tex;h=85064bc5149c2f39f943270084af3e36df971554;hb=80df32309cea3df0928969902dfe9097bc0cd18c;hp=03a030e77e00aa521bbb20d40ca4909970d0432b;hpb=79b561afc381d0a9ee148ab9efbd17ea6c22a069;p=tt2015.git diff --git a/a2/1cases.tex b/a2/1cases.tex index 03a030e..85064bc 100644 --- a/a2/1cases.tex +++ b/a2/1cases.tex @@ -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 @@ -258,8 +258,8 @@ 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 +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. @@ -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. \\