Online testing with model programs

14 years 3 months ago
Online testing with model programs
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorithm that is implemented in the model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer is being used daily by several Microsoft product groups. Model programs in Spec Explorer are written in the high level specification languages AsmL or Spec#. We view model programs as implicit definitions of interface automata. The conformance relation between a model and an implementation under test is formalized in terms of refinement between interface automata. Testing then amounts to a game between the test tool and the implementation under test. Categories and Subject Descriptors D.2.5 [Testing and Debugging]: Testing tools General Terms Reliability,Verification Keywords Conformance testing, interface automata, runtime verification
Margus Veanes, Colin Campbell, Wolfram Schulte, Ni
Added 20 Nov 2009
Updated 20 Nov 2009
Type Conference
Year 2005
Authors Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
Comments (0)