Model-Based Testing with AsmL .NET

We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semi-automatic 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.

AGEDIS03.pdf
PDF file

In  1st European Conference on Model-Driven Software Engineering

Details

TypeInproceedings
Pages12-19
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Model-Based Testing with AsmL .NET