Model-based testing (part 3)

5206c19df417b8876825b5561344c1a0?s=47 Exactpro
December 19, 2019

Model-based testing (part 3)

Rostislav Yavorsky, vice principal of Science and Technologies, Surgut State University


To learn more about Exactpro, visit our website

Follow us on

Subscribe to Exactpro Vimeo channel
Subscribe to Exactpro YouTube channel



December 19, 2019


  1. Model Based Testing - 3 Rostislav Yavorskiy, PhD Head of

    Research, Exactpro Systems Kostroma, 19 December 2019
  2. Formal models are used to represent the behavior of a

    system under test (SUT): • Functional specification (input/output) • Time series (system dynamics/history) • State-transition system • Process algebra 2 Mathematical methods
  3. Model based testing 3 ① ② ③ ④

  4. Example 4

  5. Finite Automata DFA is described by a tuple: (Q, Σ;

    q 0 , F). Q - a finite set of states Σ - a finite input alphabet (transitions) q 0 - the starting state F - the set of accepting (final) states 5
  6. 6 Petri nets

  7. 7 Petri nets

  8. 8 Petri nets

  9. 9 Petri nets

  10. 10 Petri nets

  11. Petri nets • S is a finite set of places

    • T is a finite set of transitions • S and T are disjoint (no object can be both a place and a transition) • W: S x T \cup T x S \to N is a multiset of arcs 11
  12. Petri nets definitions • Initial marking • Transition is enabled

    • Marking M' is reachable from a marking M in one step • Dead and live • Bounded • Coloured 12
  13. Process mining Process mining is a family of techniques that

    support the analysis of business processes based on event logs in order to identify trends, patterns and details 13
  14. Three types of process mining techniques • Discovery: Based on

    an event log, a new model is constructed or discovered based on low-level events • Conformance checking: The existing model is compared with the process event log; discrepancies between the log and the model are analyzed • Performance Mining: The model is extended with a new performance information such as processing times, cycle times, waiting times, costs, etc. 14
  15. 15

  16. 16

  17. 17