From 6a64f6d5e52d7717514ce5d91f3434b90ef1ad83 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 20 Jan 2016 09:10:44 +0100
Subject: [PATCH] update
---
mbt_exercises/mbt.tex | 24 +++++++++
mbt_exercises/pre.tex | 2 +-
recap_al.txt | 0
recap_btt.txt | 116 ++++++++++++++++++++++++++++++++++++++++++
recap_mbt.txt | 44 ++++++++++++++++
5 files changed, 185 insertions(+), 1 deletion(-)
create mode 100644 recap_al.txt
create mode 100644 recap_btt.txt
create mode 100644 recap_mbt.txt
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
+===============================================================================
--
2.20.1