Using UML Sequence Diagrams as the Basis for a Formal Test Description Language.
Simon PickinJean-Marc JézéquelPublished in: IFM (2004)
Keyphrases
- sequence diagrams
- description language
- model based testing
- test cases
- regression testing
- class diagrams
- uml models
- petri net
- software architecture
- activity diagrams
- web services
- intermediate representation
- specification language
- class diagram
- test suite
- action language
- description languages
- software development
- test generation
- test sequences
- relational databases
- dependency graph
- object oriented
- testing process
- high level
- semantic web services
- data structure
- training set
- search space
- uml class diagrams
- software engineering
- test set
- software systems
- formal specification