SDL and MSC based test generation for distributed test architectures.
Jens GrabowskiBeat KochMichael SchmittDieter HogrefePublished in: SDL Forum (1999)
Keyphrases
- test generation
- test cases
- test sequences
- symbolic execution
- design automation
- software testing
- quality assurance
- static analysis
- code coverage
- distributed systems
- mutation testing
- cooperative
- heterogeneous environments
- peer to peer
- test data generation
- multi agent
- real time embedded
- machine learning
- test set
- high quality
- high level
- information systems
- computer vision
- learning algorithm