Journal article icon

Journal article

A Method for the Automatic Generation of Test Suites from Object Models

Abstract:

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 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 automatica...

Expand abstract

Actions


Access Document


Authors


Alessandra Cavarra More by this author
Charles Crichton More by this author
Jim Davies More by this author
Journal:
Information and Software Technology
Volume:
46
Issue:
5
Pages:
309-314
Publication date:
2004
DOI:
URN:
uuid:000085e0-9a2b-415f-ac4a-b970a4de6d3b
Local pid:
cs:2303

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP