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.

ValidatingUseCasesWithTheAsmLTool(qsic03).pdf
PDF file

In  QSIC

Publisher  IEEE Computer Society

Details

TypeInproceedings
Pages238-246
ISBN0-7695-2015-4
> Publications > Validating Use-Cases with the AsmL Test Tool