Software Testing

(7) Testing Object-Oriented Software

Basic idea of state-based testing

  • Types of states:
    • Concrete (e.g. number = 42)
    • Abstract (e.g. positive <-> number >= 0)
  • Transitions:
    • From one block to another
    • Edges on CFG
    • Method calls
  • Basic idea:
    • Interpret code as extended finite state machine and check certain fault models
    • One variant of model-based testing!

Diskussion