Automatische Testgenerierung auf der Basis einer qualitat...
Inhaltsangabe:Einleitung: Die Abstraktion von Verhaltensmodellen ist die wesentliche Voraussetzung für die Realisierbarkeit der automatischen Testgenerierung für 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 gröber werden, d.h., sie weisen immer weniger irrelevante Unterscheidungen auf. Testvektoren liefern bei der ...