Paper Info
Title
A method for the automatic generation of test suites from object models
Abstract
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 Format (IF). The translation from UML to IF is based upon an earlier formal semantics, written in the Abstract State Machine (ASM) notation. Descriptions written in IF can be automatically explored; the results of these explorations are test trees, ready for input to a variety of testing packages.
Year
DOI
Venue
2003
10.1145/952532.952748
Information & Software Technology
Keywords
DocType
Volume
automatic test generation,state machine,unified modeling language,model based testing,automatic generation,unified modeling language (uml),formal semantics,testing,uml,behavioural description,formal methods,intermediate format,object model,object modelling,test tree,abstract state machine,test suite,formal method
Conference
46
Issue
ISSN
ISBN
5
Information and Software Technology
1-58113-624-2
Citations 
PageRank 
References 
13
0.86
9
Authors
3
Name
Order
Citations
PageRank
Alessandra Cavarra119317.77
Charles Crichton21019.36
Jim Davies367380.95