Institute of Information Science, Academia Sinica

In this presentation, novel results about model-based testing (MBT) of control systems are presented. These results apply to systems with infinite input domains and finite internal control states and finite output domains. These are of high importance in the field of safety-critical systems, as will be illustrated by means of examples from the avionics, railway, and automotive domains. We present a new input equivalence testing method allowing to uncover every error with a finite number of test cases, provided that the system under test (SUT) is a member of a specified fault domain. It is shown that this method also provides a significant increase of test strength, when applied to SUT where the assumptions about the fault domain are not fulfilled. The method can be used for testing the SUT conformance to a reference model, but also for testing that the SUT fulfils certain safety properties. We present the key points of the underlying theory and highlight its application for verification of safety-critical systems.