Automatische Testgenerierung auf der Basis einer qualitativen Modellierung physikalischer Systeme Rutilius Taurus Aemilianus 4VRML (3-D Web)

4VRML (3-D Web)

2Marktteilnehmer des [¿]

werden heute zunehmend in Verbindung mit der Entstehung neuer Zahlungsformen genannt

Auch innerhalb des Unternehmens oder Konzerns eröffnet die Internettechnologie viele Einsatzmöglichkeiten

Automatische Testgenerierung auf der Basis einer qualitativen Modellierung physikalischer Systeme Rutilius Taurus Aemilianus 4VRML (3-D Web)Inhaltsangabe: Einleitung: Die Abstraktion von Verhaltensmodellen ist die wesentliche Voraussetzung fr die Realisierbarkeit der automatischen Testgenerierung fr 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