Transformation of UML interaction diagrams into contract specifications for object-oriented testing.
Huo Yan ChenChuang LiT. H. TsePublished in: SMC (2007)
Keyphrases
- object oriented
- class diagram
- class diagrams
- unified modeling language
- uml class diagrams
- conceptual models
- test cases
- object oriented modeling
- object oriented software
- programming language
- data model
- object oriented databases
- database design
- relational databases
- database applications
- software engineering
- query language
- uml diagrams
- conceptual modeling
- human computer interaction
- object oriented systems
- entity relationship
- requirements analysis
- programming interface
- supply chain
- formal specification
- reverse engineering
- databases
- uml models
- database schema
- software testing
- sequence diagrams
- specification language
- finite state machines
- object oriented programming
- metamodel
- test set
- software development
- transformation rules
- formal verification
- model based testing