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...
| Egile Nagusiak: | , , |
|---|---|
| Formatua: | Journal article |
| Argitaratua: |
2004
|