• 1. A model framework
  • 2. Modelling structural coverage
  • 2.1 Piwowarski et al. versus Rivers and Vouk
  • 2.2 A Markov model for structural coverage
  • 3. Markov models for the number of failure occurences
  • 3.1 Common assumptions
  • 3.2 Fault detection at the first code construct execution only
  • 3.3 Fault detection ar repeated code construct executions
  • 4. The Markov models and the model framework
  • 5. Conclusions