From: pimjager Date: Tue, 27 Oct 2015 22:47:43 +0000 (+0100) Subject: a2 1.4 X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=6e8c781db9fce344e6002f8a2d0b910ae59f9745;p=tt2015.git a2 1.4 --- diff --git a/.gitignore b/.gitignore index d6f28d8..5b7b2af 100644 --- a/.gitignore +++ b/.gitignore @@ -6,6 +6,38 @@ tt.log tt.out tt.toc tt.pdf +*.eps + +# LaTeX temporary files +*.aux +*.log +*.toc +*.dvi +*.fmt +*.fls + +# PDF output - usually a bad idea to keep this in Git +*.pdf + +# Latexmk +*.fdb_latexmk + +# SyncTeX +*.synctex.gz + +# LaTeX Beamer +*.snm +*.vrb +*.nav +*.out + +# BibTeX +*.bbl +*.blg + +# Log created by Adobe Reader +C:\\nppdf32Log\\debuglog.txt + +# Sublime Text Project Files (usually contain absolute paths) *.sublime-project *.sublime-workspace -*.eps diff --git a/a2/1manual.tex b/a2/1manual.tex index a701013..ab04772 100644 --- a/a2/1manual.tex +++ b/a2/1manual.tex @@ -1,6 +1,7 @@ \subsection{Preflight checklist} -Before actual certification is commenced we perform a manual test using a checklist. +Before actual certification is commenced we perform a manual test using a +checklist. If any of the checks fail we immediately reject the product. \begin{enumerate} @@ -48,3 +49,36 @@ The following requests are taken into considering while constructing test cases. \end{enumerate} Above enumeration results in a total of $14$ test cases. + +\subsection{Quality, completeness and coverage of tests} + +\subsubsection{Quality} +The network packets used in testing are constructed from prerecorded, known to +be correct, network traffic. These packets are then modified with well used and +field tested tools. Due to this the chance of errors in the test cases is quite +low. However, no formal proof of correctness of the test cases is present, this +means that any defects found might not be the result of a fault in the SUT. +Therefore detected defects should only indicate there is a high chance that +there is a fault in the SUT and can not result directly in the conclusion that +there actually is one. + +\subsubsection{Coverage} +Due to the nature of black-box testing coverage of the code in the +implementation of the SUT is unknown. However completeness of the tests over +the specification of the SUT can be assessed. + +\subsubsection{Completeness} +Due to the clear and exhaustive specification of TCP the completeness of the +test suite can be clearly assessed (\textit{lijkt me dan... Misschien ook juist +complexer?}). + +As always, $100\%$ completeness is not feasible, therefore test cases are +carefully selected to ensure a test suite which is as complete as feasible. +To achieve this the test cases are divided into equivalence partitions and +(\textbf{referentie naar descision table}) ensures that all partitions are +covered. However, since it is not feasible to test all possible conditions on +it's own, conditions are tested in groups. + +\textit{nu iets met meten van coverage, hier kan ik geen document over vinden zo} + + diff --git a/a2/tt2.tex b/a2/tt2.tex index 486649b..3bef458 100644 --- a/a2/tt2.tex +++ b/a2/tt2.tex @@ -12,6 +12,7 @@ \input{2auto.tex} \newpage +\nocite{*} %% weghalen bij daadwerkelijke cite \bibliographystyle{plain} \bibliography{tt2}