A Method for the Automatic Generation of Test Suites from Object Models
This paper shows how object-oriented specifications, written in the Unified Modeling Language (UML) can be translated into formal, behavioural descriptions and used as a basis for automatic test generation. The behavioural descriptions are written in a language of communicating state machines: the I...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
2004
|