Framework zur Speicherung, Verarbeitung und Anwendung von Testfällen auf Entwurfsmodelle