Markov chains are an efficient way to handle MBT and can be called Statistical Model Based Testing.They are understood best as
State tansition diagrams
Finite State Machines weighted by probabilities on transitions.
entity relelation ship diagram
data flow diagram