a2 1.4

diff --git a/.gitignore b/.gitignore
index d6f28d8..5b7b2af 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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}