A FORMAL METHODOLOGY TO TEST COMPLEX EMBEDDED SYSTEMS: APPLICATION TO INTERACTIVE DRIVING SYSTEM

摘要

Complex embedded systems may integrate heterogeneous components. Each component can be defined by using a different specification formalism, or in terms of other components. In order to test the conformance of an implementation with respect to a specification we can use a different testing methodology for each of the (different group of) components. Still, this approach might overlook details regarding the relation among the units of the system under test. In our framework, a unit is a set of functionalities of interaction of the system with the environment. These functionalities can be possibly defined in terms of the ones appearing in lower units. Essentially, in order to test the functionalities corresponding to a unit, tests may use capabilities described in lower units. These capabilities will be provided by the system under test once they have been previously tested by using some lower-level tests. In order to illustrate our framework we present a running example where the Interactive Driving System developed by ADAM Opel A.G. [Opel, 2005] is described.