ABSTRACT
“Dynamic testing” (in short, testing) is one of the most significant analytical quality assurance techniques for software, as it is the most elementary and certainly the most frequently used form of quality assurance [Lig92]. In practice, it is also the 11_2only method that allows to take the actual development and operating environment of a software system (e.g., code generator, compiler, linker, operating system, target hardware) adequately into consideration. Furthermore, the dynamic properties of the system (e.g., run-time behavior, computational accuracy of the target system) can be checked [Gri95]. Dynamic testing is the most important and common method used to assure the quality of automotive controls and is an essential part of both software and system development. The artifacts to be tested are usually named “test objects”* or “test items.” Based on Refs. [Gri88,ISO 15497,IEEE 610.12,TAV96], dynamic testing can be defined as the execution of a “test object” on a computer with selected (sequences of) test inputs in a defined environment for the purpose of checking whether the test object in such cases behaves as expected.
