The Community for Technology Leaders
Asia-Pacific Conference on Quality Software (2001)
Hong Kong
Dec. 10, 2001 to Dec. 11, 2001
ISBN: 0-7695-1287-9
pp: 0167
M. Lepper , TU Berlin
W. Grieskamp , Microsoft Research
W. Schulte , Microsoft Research
N. Tillmann , Microsoft Research
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. In this paper 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.
INDEX TERMS
CITATION
M. Lepper, W. Grieskamp, W. Schulte, N. Tillmann, "Testable Use Cases in the Abstract State Machine Language", Asia-Pacific Conference on Quality Software, vol. 00, no. , pp. 0167, 2001, doi:10.1109/APAQS.2001.990016
100 ms
(Ver )