Upgrade to Pro — share decks privately, control downloads, hide ads and more …

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

Video: https://youtu.be/GWy4OajL-Dc

To learn more about Exactpro, visit our website https://exactpro.com/

Follow us on
LinkedIn https://www.linkedin.com/company/exactpro-systems-llc
Twitter https://twitter.com/exactpro
Facebook https://www.facebook.com/exactpro/
Instagram https://www.instagram.com/exactpro/
Vkontakte https://vk.com/exactpro_llc

Subscribe to Exactpro Vimeo channel https://vimeo.com/exactpro
Subscribe to Exactpro YouTube channel https://www.youtube.com/c/exactprosystems



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