Title :
Testable use cases in the Abstract State Machine Language
Author :
Grieskamp, Wolfgang ; Lepper, Markus ; Schulte, Wolfram ; Tillmann, Nikolai
Author_Institution :
Microsoft Res., Redmond, WA, USA
Abstract :
Use cases are a method for describing interactions between humans and/or systems. However, despite their popularity there is no agreed formal syntax and semantics of use cases. The Abstract State Machine Language (ASML) is an executable specification language developed at Microsoft Research. We define an encoding of use cases in ASML and demonstrate the advantages by describing techniques to generate test cases and test oracles from the encoding
Keywords :
computational linguistics; finite state machines; human factors; interactive systems; program testing; specification languages; user interfaces; ASM-based executable specification language; ASML; Abstract State Machine Language; executable specification language; formal syntax; semantics; test case generation; test oracles; testable use cases; Automation; Computer aided software engineering; Encoding; Humans; Instruments; Protocols; Prototypes; Specification languages; System testing; Unified modeling language;
Conference_Titel :
Quality Software, 2001. Proceedings.Second Asia-Pacific Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-1287-9
DOI :
10.1109/APAQS.2001.990016
