Automated TTCN-3 Test Case Generation by Means of UML Sequence Diagrams and Markov Chains.
Matthias BeyerWinfried DulzFenhua ZhenPublished in: Asian Test Symposium (2003)
Keyphrases
- sequence diagrams
- markov chain
- test case generation
- test suite
- test cases
- regression testing
- class diagrams
- uml models
- software testing
- activity diagrams
- steady state
- model based testing
- transition probabilities
- state space
- petri net
- reverse engineering
- random walk
- static analysis
- stationary distribution
- probabilistic automata
- class diagram
- test data generation
- testing process
- test generation
- intermediate representation
- markov processes
- transition matrix
- dependency graph
- test set
- object oriented systems
- machine learning
- object oriented
- java programs
- software engineering
- reinforcement learning
- high level