Using UML for Automatic Test Generation

Alessandra Cavarra, Jim Davies, Thierry Jeron, Laurent Mounier, Alan Hartman, Sergey Olvovsky

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


This paper presents an architecture for model-based testing using a profile of the Unified Modeling Language (UML). Class, object, and state diagrams are used to define essential models: descriptions that characterise the entire range of possible behaviours, in terms of the actions and events of the model. Object and state diagrams are used to introduce test directives.
Models written in this profile may be compiled into a tool language: the Intermediate Format (IF). Descriptions written in IF can be animated, verified, and used to generate tests. As well as illustrating the testing tool adopted, the paper defines the profile for UML, explains testing directives, the basis of the compilation into IF and of the test generation process, and reports upon the problems encountered.
Original languageEnglish
Title of host publicationProceedings of ISSTA
StatePublished - 2002


Dive into the research topics of 'Using UML for Automatic Test Generation'. Together they form a unique fingerprint.

Cite this