From 9d1d0787c6a04f392592a25a3ac5fecbc5fc103f Mon Sep 17 00:00:00 2001 From: Edoardo Morassutto Date: Wed, 22 Jan 2020 18:43:20 +0100 Subject: [PATCH] Black box testing a state machine --- 7-testing/7-testing.tex | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/7-testing/7-testing.tex b/7-testing/7-testing.tex index 84be9c7..f3a176c 100644 --- a/7-testing/7-testing.tex +++ b/7-testing/7-testing.tex @@ -130,3 +130,10 @@ \subsection{Testing techniques} \textbf{Black box} Used to test integration and the whole system. Used to check if expected behavior is the behavior of the software (\emph{Model-based testing}). \textbf{Capture and reply} First test is manual (so it is costly) but it is recorded. Next time the test is an automatic replay of the first test, for which we know the outcome (used for example for auto-regression testing on GUI). + +\subsection{Black box testing a state machine} +If the system acts like a state machine (there are states and transactions between them) there are 2 criterion of coverage: +\begin{itemize} + \item Coverage of States: the test cases must collectively reach all the states + \item Coverage of Transactions: the test cases must collectively reach all the transactions +\end{itemize}