Inhaltsangabe: Einleitung: Die Abstraktion von Verhaltensmodellen ist die wesentliche Voraussetzung fur die Realisierbarkeit der automatischen Testgenerierung fur Systeme mit kontinuierlichem Wertebereich, indem durch Anwendung von Abstraktionsoperatoren Verhaltensmodelle mit kontinuierlichem Wertebereich auf Verhaltensmodelle mit finitem Wertebereich abgebildet werden. Man kann beliebig viele Abstraktionen anwenden, wodurch die Verhaltensmodelle immer grober werden, d.h., sie weisen immer weniger irrelevante Unterscheidungen auf. Testvektoren liefern bei der Fertigung dieser Systeme den...