Testable Use Cases in the Abstract State Machine Language

W. Grieskamp; N. Tillmann; M. Lepper; W. Schulte

doi:10.1109/APAQS.2001.990016

A
APAQS
2001
Second Asia-Pacific Conference on Quality Software (APAQS'01)
Abstract - Testable Use Cases in the Abstract State Machine Language

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/EndNote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by W. Grieskamp Articles by M. Lepper Articles by W. Schulte Articles by N. Tillmann

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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APAQS.2001.990016

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.