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

• Type: Conference
• Year: 2005
• Where: SIGSOFT
• Authors: Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
• Keywords: Keywords Conformance Testing, Model-based Testing Tool, Online Testing Algorithm, SIGSOFT 2005, Software Engineering