loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second Asia-Pacific Conference on Quality Software (APAQS'01)
Testable Use Cases in the Abstract State Machine Language
Hong Kong
December 10-December 11
ISBN: 0-7695-1287-9
ASCII Text
x 
 
W. Grieskamp, M. Lepper, W. Schulte, N. Tillmann, "Testable Use Cases in the Abstract State Machine Language," Asia-Pacific Conference on Quality Software, pp. 0167, Second Asia-Pacific Conference on Quality Software (APAQS'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/APAQS.2001.990016,
author = {W. Grieskamp and M. Lepper and W. Schulte and N. Tillmann},
title = {Testable Use Cases in the Abstract State Machine Language},
journal ={Asia-Pacific Conference on Quality Software},
volume = {0},
year = {2001},
isbn = {0-7695-1287-9},
pages = {0167},
doi = {http://doi.ieeecomputersociety.org/10.1109/APAQS.2001.990016},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Conference on Quality Software
TI - Testable Use Cases in the Abstract State Machine Language
SN - 0-7695-1287-9
SP
EP
A1 - W. Grieskamp,
A1 - M. Lepper,
A1 - W. Schulte,
A1 - N. Tillmann,
PY - 2001
VL - 0
JA - Asia-Pacific Conference on Quality Software
ER -
 
W. Grieskamp, Microsoft Research
M. Lepper, TU Berlin
W. Schulte, Microsoft Research
N. Tillmann, Microsoft Research
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.
Citation:
W. Grieskamp, M. Lepper, W. Schulte, N. Tillmann, "Testable Use Cases in the Abstract State Machine Language," apaqs, pp.0167, Second Asia-Pacific Conference on Quality Software (APAQS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.