Towards a Tool Environment for Model-Based Testing with AsmL

We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call sequence generation and conformance testing. We outline the usage of the environment by an example, discuss its underlying technologies, and report on some applications conducted in the Microsoft environment.

• Type: Conference
• Year: 2003
• Where: FATES
• Authors: Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
• Keywords: Abstract State Machine Language, FATES 2003, Semiautomatic Parameter Generation, Tool Environment