Automatische Testgenerierung auf der Basis einer qualitativen Modellierung physikalischer Systeme