Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Validating Use-Cases with the AsmL Test Tool

Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes

Abstract

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.

Details

Publication typeInproceedings
Published inQSIC
Pages238-246
ISBN0-7695-2015-4
PublisherIEEE Computer Society
> Publications > Validating Use-Cases with the AsmL Test Tool