recap_mbt.txt

   1 FSM-based testing
   2 ===============================================================================
   3 FSM: States, transitions, inputs, outputs
   4 (S, s0, I, O, delta, lambda)
   5 (States, initial, inputs, outputs, transition function, output function)
   6
   7 - Deterministic, complete, connected, reduced
   8 - Tests length k only prove models with k extra states(k-complete)
   9 - With resets
  10 - W method
  11         - we test a state by testing that after reaching it the input/output is
  12           good
  13 - Transition tour, one loop all transitions
  14 - Synchonizing, get always to a fixed state
  15
  16 - Compare with LTS:
  17         - has to be deterministic and complete
  18         - Only i/o alternation
  19         - not compositional
  20         - more intuitive
  21         - older theory
  22
  23 MBT with LTS 1
  24 ===============================================================================
  25
  26 MBT with LTS 2
  27 ===============================================================================
  28
  29 MBT with LTS 3
  30 ===============================================================================
  31
  32 MBT with LTS 4
  33 ===============================================================================
  34
  35
  36 MBT with GAST
  37 ===============================================================================
  38 Functional, black box, cycle detection, automatic generation, quickcheck,
  39 quantification
  40 - Property
  41 - Model
  42
  43 MBT with SpecExplorer
  44 ===============================================================================