Validating Use-Cases with the AsmL Test Tool

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

• Type: Conference
• Year: 2003
• Where: QSIC
• Authors: Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
• Keywords: Abstract State Machine Language, QSIC 2003, Software Engineering, State Machines, Use-case Oriented Modeling