Analysis Validation
Checking a model for completeness and correctness
- Discovery (Chapter 7)
- Formalization (Chapter 8)
- Requires skill and insight (“Ya gotta use your head.”)
Discovery techniques
- Formal technical review
- systematic scrutiny based on queries, behavior scenarios, and interaction sequences
- white-box and black-box “testing”
- Object classification – cohesive sets of objects
- structural similarity
- behavioral similarity