Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Testable Use Cases in the Abstract State Machine Language

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, and Nikolai Tillmann

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.

Details

Publication typeInproceedings
Published inProc. 2nd Asia-Pacific Conference on Quality Software (APAQS 2001)
URLhttp://www2.computer.org/portal/web/csdl/doi/10.1109/APAQS.2001.990016
Pages167-172
ISBN0-7695-1287-9
PublisherIEEE Computer Society
> Publications > Testable Use Cases in the Abstract State Machine Language