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 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.

mbtwithAsmL.pdf
PDF file

In  FATES 2003

Publisher  Springer Verlag
All copyrights reserved by Springer 2007.

Details

TypeInproceedings
Pages252-266
Volume2931
SeriesLNCS
> Publications > Towards a Tool Environment for Model-Based Testing with AsmL