X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=a2%2F1cases.tex;h=b0531b2224581da656a8780cb1e0df89e4e9bc36;hb=92ded11e5cc8e03df27e440d1d12cfaebb59e726;hp=85064bc5149c2f39f943270084af3e36df971554;hpb=80df32309cea3df0928969902dfe9097bc0cd18c;p=tt2015.git diff --git a/a2/1cases.tex b/a2/1cases.tex index 85064bc..b0531b2 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