Validating Use-Cases with the AsmL Test Tool

Wolfram Schulte; Nikolai Tillmann; Margus Veanes; Mike Barnett

Validating Use-Cases with the AsmL Test Tool

Wolfram Schulte ,
Nikolai Tillmann ,
Margus Veanes ,
Mike Barnett

QSIC | January 2003

Published by IEEE Computer Society

Download BibTex

The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environment, is used to generate finite state machines from use-case models which can be used for validation purposes or for testing.