A Method for the Automatic Generation of Test Suites from Object Models
This paper explains how object models 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 Intermediate For...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
ACM
2003
|