Title :
Validating use-cases with the AsmL test tool
Author :
Barnett, Mike ; Grieskamp, Wolfgang ; Schulte, Wolfram ; Tillmann, Nikolai ; Veanes, Margus
Author_Institution :
Microsoft Res., Redmond, WA, USA
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.
Keywords :
formal specification; program compilers; program testing; program verification; software tools; specification languages; Abstract State Machine Language; AsmL test tool; finite state machines; use case validation; Aerospace control; Automata; Logic testing; Mathematical model; Software quality; System testing;
Conference_Titel :
Quality Software, 2003. Proceedings. Third International Conference on
Print_ISBN :
0-7695-2015-4
DOI :
10.1109/QSIC.2003.1319107
