Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation

Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, and Margus Veanes

Abstract

We report on a framework for model composition, exploration, and conformance testing based on symbolic execution. The foundations of this framework are given by so-called action machines, a variation of labeled transition systems which communicate over synchronously stepped actions and constraints attached to them. The implementation is based on XRT, an exploration engine for .NET CIL code which supports symbolic computation. The main application is in the area of model-based conformance testing, where our approach addresses practical problems users at Microsoft have in applying model-based testing technology.

Details

Publication typeInproceedings
Published inQuality Software, 2005. (QSIC 2005). Fifth International Conference on
URLhttp://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=1579122&isnumber=33358
Pages72-82
ISBN0-7695-2399-4
PublisherIEEE Computer Society

Previous versions

Wolfgang Grieskamp and Nikolai Tillmann. Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation, May 2005.

> Publications > Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation