Abstract State Machine Language (AsmL)

From GM-RKB

Revision as of 02:17, 18 May 2017 by Gmelli (talk | contribs) (Created page with "An Abstract State Machine Language (AsmL) is state machine language for ... * <B>See:</B> Formal Semantics. ---- ---- == References == === 2001 === * (2001_Test...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

An Abstract State Machine Language (AsmL) is state machine language for ...

See: Formal Semantics.

References

2001

(Grieskamp et al., 2001) ⇒ Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, and Nikolai Tillmann. (2001). “Testable Use Cases in the Abstract State Machine Language.” In: Proceedings of the Second Asia-Pacific Conference on Quality Software. ISBN:0-7695-1287-9
- QUOTE: 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.

Retrieved from "http://www.gabormelli.com/RKB/index.php?title=Abstract_State_Machine_Language_(AsmL)&oldid=315275"

Facts

... more about "Abstract State Machine Language (AsmL)"

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

2001 +