test levels, test generation.

diff --git a/2approach.tex b/2approach.tex
index b0e834c..743c9d3 100644 (file)
--- a/2approach.tex
+++ b/2approach.tex
@@ -38,4 +38,57 @@ to the SUT.
 
 \subsubsection{Quality in use}
 
-\subsection{Levels and types of testing}
+\subsection{Levels and types of testing} \label{levels}
+
+The client will deliver a product for certification. This means our team will only conduct acceptance testing and assume that the client who requested certification has conducted unit, module and integration testing. We will only be conducting black-box testing and the client is not required to handover any source-code. Initially we will conduct several basic test cases based on experience acquired from previous certification requests (error guessing). If the product fails these basic tests we reject it and seize all further activities. If the product is not rejected we will proceed with more thorough testing. For each test we produce a test report. If any of the test cases fail the product is still rejected but in order to deliver usable feedback to the client we will still produce a test report.
+
+\subsection{Test generation}
+
+The basic tests mentioned in section \ref{levels} are conducted using a checklist. If any of the checks fail we immediately reject the product.
+
+\begin{enumerate}
+       \item Is the product complete?
+       \item Does the product come with a manual or quick start guide?
+       \item Is it possible to get the product in a usable state?
+       \item Can we use the product to initiate a connection in a corruption free environment?
+       \item ....
+\end{enumerate}
+
+For the remaining tests we first use equivalence partitioning to reduce the overall number of test cases.
+
+\begin{enumerate}
+       \item Valid requests:
+               \begin{enumerate}
+                       \item Single request.
+                       \item Multiple requests.
+               \end{enumerate}
+       \item Invalid requests:
+               \begin{enumerate}
+                       \item Single request.
+                       \item Multiple requests.
+               \end{enumerate} 
+\end{enumerate}
+
+For these requests we can introduce more cases using equivalence partitioning for the different packets that are sent during one request.
+
+\begin{enumerate}
+       \item Packets received in order.
+       \item Packets received out of order.
+\end{enumerate}
+
+For each individual packet we can specify the follow equivalent classes.
+
+\begin{enumerate}
+       \item Valid packet.
+       \item Corrupted packet.
+       \item Missing packets.
+\end{enumerate}
+
+We will test all possible combinations of requests/packet order/packet content. For each combination we will use boundary value analysis to reduce the total number of test cases. Boundary values are constructed using the following parameters:
+
+\begin{enumerate}
+       \item Checksum: valid/invalid
+       \item Header: valid/invalid
+       \item Payload: valid/invalid
+       \item ...
+\end{enumerate}
\ No newline at end of file