Software Testing

(6) Model-Based Testing

Name types of abstractions

  • Models encapsulate details (encapsulate information)
    • Don't actually remove information but encapsulate it
    • E.g. fewer words in code
    • No loss of information, rather "hide" details
  • Models omit details (loss of information)
    • Simplification with "relevant" loss of information
    • Remove details

Diskussion