From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 20 Jan 2016 08:10:44 +0000 (+0100)
Subject: update
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=6a64f6d5e52d7717514ce5d91f3434b90ef1ad83;p=tt1516.git

update
---

diff --git a/mbt_exercises/mbt.tex b/mbt_exercises/mbt.tex
index 8efa296..064676e 100644
--- a/mbt_exercises/mbt.tex
+++ b/mbt_exercises/mbt.tex
@@ -1,7 +1,10 @@
 %&mbt
 \begin{document}
 
+% 1
 \section{Theory of Labelled Transition Systems}
+
+% 1.1
 \subsection{Testing equivalences}
 \begin{enumerate}[a)]
 	\item $\bordermatrix{
@@ -65,6 +68,7 @@
 		}$
 \end{enumerate}
 
+% 1.2
 \subsection{Testing equivalences}
 \begin{enumerate}[a)]
 	\item $\bordermatrix{
@@ -132,6 +136,7 @@
 		}$
 \end{enumerate}
 
+% 1.3
 \subsection{Testing equivalences}
 \begin{enumerate}[a)]
 	\item
@@ -166,7 +171,26 @@
 		\end{align*}
 \end{enumerate}
 
+% 1.4
 \subsection{Testing equivalences}
+\begin{enumerate}[a)]
+	\item $Q:=\xymatrix@C=1pc@R=1pc{
+			\ar[dr]\\
+			& *+[o][F-]{s_0}\ar@/_/[d]_a\\
+			& *+[o][F-]{s_1}\ar@/_/[u]_b\ar@/_/[d]_a\\
+			& *+[o][F-]{s_2}\ar@/_/[d]_a\ar@/_/[u]_b\\
+			& \ldots\ar@/_/[u]_b\\
+		}$
+		$P:=\xymatrix@C=1pc@R=1pc{
+			\ar[dr]\\
+			& *+[o][F-]{s_0}\ar@/_/[d]_a\ar[r]^\tau & *+[o][F-]{s_0}\ar@(r,u)[]_b\\
+			& *+[o][F-]{s_1}\ar@/_/[u]_b\ar@/_/[d]_a\ar@/_/[ur]_\tau\\
+			& *+[o][F-]{s_2}\ar@/_/[d]_a\ar@/_/[u]_b\ar@/_1pc/[uur]_\tau\\
+			& \ldots\ar@/_/[u]_b\ar@/_2pc/[uuur]_\tau\\
+		} $
+\end{enumerate}
+
+% 1.5
 \subsection{Testing equivalences}
 
 \end{document}
diff --git a/mbt_exercises/pre.tex b/mbt_exercises/pre.tex
index 723347a..529c8be 100644
--- a/mbt_exercises/pre.tex
+++ b/mbt_exercises/pre.tex
@@ -5,6 +5,6 @@
 \usepackage{cancel}
 \usepackage{amsmath}
 \usepackage{a4wide}
-\usepackage{xypic}
+\usepackage[curve]{xypic}
 
 \everymath{\displaystyle}
diff --git a/recap_al.txt b/recap_al.txt
new file mode 100644
index 0000000..e69de29
diff --git a/recap_btt.txt b/recap_btt.txt
new file mode 100644
index 0000000..a548e5f
--- /dev/null
+++ b/recap_btt.txt
@@ -0,0 +1,116 @@
+Introduction
+===============================================================================
+Testing is:
+- Measure quality
+- Increase confidence
+- Help assess risks
+
+Challenges:
+- Big domains(infinite)
+- Never exhaustive
+- When to stop
+
+Activities:
+- Generation
+- Execution
+- Organization
+
+Quality
+Functionality, Reliability, Usability, Efficiency, Mainainability, Portability
+
+Types:
+- {Non, }Functional, functions or properties
+- Dimensionality
+	- Accessibility(black, grey, white box)
+	- Detail(system, integration, module, unit)
+	- Characteristics(functional, reliability, usability etc.)
+
+
+Black & White Box Testing
+===============================================================================
+Black box
+- Partitioning
+- Boundary value analysis
+- Error quessing(exploratory testing)
+
+White box
+- Coverage
+	- Path
+	- Statement
+	- Condition
+	- (multiple=all combinations of) Decicion
+
+Test Organization/TMap
+===============================================================================
+TMap: Test Management approach
+planning->preparation->generation->execution->completion
+
+v-model
+test incomplete things with
+- Driver: piece that simulates higher level system
+- Stub: piece that simulates lowel level
+
+[L]ife cycle
+- Strategy/planning
+	- Mission
+	- Strategy
+	- Approach
+	- Plan
+- Preparation
+	- Study test
+	- Specifications
+	- Testability
+	- System division
+- Generation
+	- Generation of cases:
+		- purpose, start, input, expected output
+	- Test infrastructure
+	- Implementation
+- Execution
+	- phase testing
+		- static
+		- pre-test
+		- full
+	- execution
+		- test
+		- repair
+		- retest
+	- discriminate in error
+		- implementation
+		- specification
+ 		- test case
+		- infrastructure
+	- report
+- Completion
+	- Report
+	- testware
+	- evaluation
+
+[T]echniques, [I]nfrastructure, [O]rganization
+
+More Black & White Box Testing
+===============================================================================
+Decision table: combination of input parameters
+Use case: test according to use cases
+Other whitebox: function, call, jump, dataflow, objectcode, loop, race
+
+Combinatorial Testing
+===============================================================================
+- Pairwise(triples, ...)
+- MC/DC. Modified condition/decision
+	Test only important, shown to independantly affect outcome
+
+	Thus if we have a && b && c we test:
+	0 1 1 and 1 1 1
+
+Mutation Testing
+===============================================================================
+Make mutants, deliberate errors and see if the test catch it
+Add mutant, if not caught extend tests otherwise throw away mutant
+
+Quality and Reliability Challenges
+===============================================================================
+- Systems of systems pose a problem
+- Integration is a problem
+- Interface testing
+- Because of continous delivery regression testing
diff --git a/recap_mbt.txt b/recap_mbt.txt
new file mode 100644
index 0000000..ded951e
--- /dev/null
+++ b/recap_mbt.txt
@@ -0,0 +1,44 @@
+FSM-based testing
+===============================================================================
+FSM: States, transitions, inputs, outputs
+(S, s0, I, O, delta, lambda)
+(States, initial, inputs, outputs, transition function, output function)
+
+- Deterministic, complete, connected, reduced
+- Tests length k only prove models with k extra states(k-complete)
+- With resets
+- W method
+	- we test a state by testing that after reaching it the input/output is
+	  good
+- Transition tour, one loop all transitions
+- Synchonizing, get always to a fixed state
+
+- Compare with LTS:
+	- has to be deterministic and complete
+	- Only i/o alternation
+	- not compositional
+	- more intuitive
+	- older theory
+
+MBT with LTS 1
+===============================================================================
+
+MBT with LTS 2
+===============================================================================
+
+MBT with LTS 3
+===============================================================================
+
+MBT with LTS 4
+===============================================================================
+
+
+MBT with GAST
+===============================================================================
+Functional, black box, cycle detection, automatic generation, quickcheck,
+quantification
+- Property
+- Model
+
+MBT with SpecExplorer
+===============================================================================