Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation

Wolfgang Grieskamp and Nikolai Tillmann

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 typeTechReport
NumberMSR-TR-2005-60
Pages17
InstitutionMicrosoft Research

Newer versions

Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, and Margus Veanes. Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation, IEEE Computer Society, September 2005.

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