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

Model-based testing (part 2)

Model-based testing (part 2)

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

Video: https://youtu.be/UO4nt3bgMvA

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

5206c19df417b8876825b5561344c1a0?s=128

Exactpro
PRO

December 18, 2019
Tweet

Transcript

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

    Research, Exactpro Systems Kostroma, 18 December, 2019
  2. Finite Automata Deterministic FA 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 2
  3. FA for Regular Expressions 3 {a3n | n >= 0}

  4. FA for Regular Expressions 4 (b|ab*ab*)*

  5. Order book 5

  6. The model restrictions • Bid queue < N1 • Ask

    queue < N2 • Number of the order price levels < N3 6
  7. Hyper-states (equivalence classes) Property definition: [0,1, 2, M] 0|M 0|M

    0|0 0|0 M|0 M|0 M|0 7
  8. Questions Which hyper-states are reachable? Which one-step transitions between the

    hyper-states are possible? 0|M M|M M|0 0|0 0|M M|0 M|0 8
  9. The goal Create test suite with formally verified 100% coverage

    9
  10. Phase 1: Random generation of the tests Advantage: - Fast

    - Easy to implement Disadvantage: - No way to guarantee the Complete coverage 10
  11. Time to discover the hyper-graph links (number of scenarios) 11

  12. Time to discover the hyper-graph links (number of scenarios) 12

  13. Phase 2: Formal verification of the completeness 13

  14. Phase 2: Formal verification of the completeness 14

  15. Conclusion Two reasons of the incompleteness: 1. Time to discover

    reachable transitions between hyper-states grows up exponentially 2. Bugs in the random test generation module. 15