Technical University of Munich, Department of Computer Science
MQM Paper: [Struss 94b]

Peter Struss

A Theory of Testing Physical Systems Based on First Principles

Technical Report CD-TR 94/63 of the Christian Doppler Laboratory for Expert Systems, Vienna University of Technology, 1994.


We present a formal theory of model-based testing and an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making the complex task of test generation feasible for systems with continuous domains is the use of model abstraction. Tests can be generated using manageable finite models and then mapped back to a detailed level. We state conditions for the correctness of this approach and discuss the preconditions and scope of applicability of the theory.

Remark: This report is a revised version of [Struss 94a]

If you have comments or suggestions, email me at
created: Anton Seidl, Jan 29, 1997, last updated: Jakob Mauss, December 4, 1998