A Specification-Based Test Case Generation Method for UML/OCL.
Achim D. BruckerMatthias P. KriegerDelphine LonguetBurkhart WolffPublished in: MoDELS (Workshops) (2010)
Keyphrases
- generation method
- test cases
- sequence diagrams
- regression testing
- test case generation
- activity diagrams
- uml models
- model based testing
- class diagrams
- uml diagrams
- software testing
- test suite
- test data
- black box
- specification language
- class diagram
- test sequences
- testing process
- test data generation
- object oriented
- number of test cases
- tool support
- test set
- state machine
- test generation
- set of test cases
- constraint language
- integration testing
- formal methods
- software design
- metamodel
- intermediate representation
- conceptual models
- databases