Test adequacy criteria for UML design models.
Anneliese Amschler AndrewsRobert B. FranceSudipto GhoshGerald CraigPublished in: Softw. Test. Verification Reliab. (2003)
Keyphrases
- metamodel
- uml models
- design decisions
- modeling language
- probabilistic model
- knowledge based systems
- sequence diagrams
- formal methods
- design principles
- object oriented
- design process
- class diagrams
- evaluation criteria
- case study
- software architecture
- conceptual models
- design choices
- modeling tool
- model selection
- unified modeling language
- model driven engineering
- prior knowledge