DocumentCode
2340593
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
fYear
2001
fDate
2001
Firstpage
167
Lastpage
172
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Quality Software, 2001. Proceedings.Second Asia-Pacific Conference on
Conference_Location
Hong Kong
Print_ISBN
0-7695-1287-9
Type
conf
DOI
10.1109/APAQS.2001.990016
Filename
990016
Link To Document