Modellbasiertes Testen (MBT)
Modellbasiertes Testen ist ein Verfahren, das ein systematisches und effektives Testen bei relativ geringen Kosten ermöglicht. Dabei werden aus Modellen systematisch Testfälle abgeleitet. Je formaler die Modelle sind, desto mehr Potential an Automatisierung ergibt sich-
Teilnehmer: Baris Güldali, Ivan Jovanovikj
Kontaktperson: Baris Güldali
Beschreibung:
In der Softwareentwicklung werden Modelle für unterschiedliche Zwecke eingesetzt, z.B. zur Spezifikation der Anforderungen, zur Dokumentation der Entwurfsentscheidungen, zur automatisierten Codegenerierung. Auch für Testaktivitäten können Modelle verwendet werden, z.B. zur Testfall- bzw. Testskriptgenerierung, zur Bestimmung erwarteter Testergebnisse, zur Messung der Testabdeckung. „Modellbasiertes Testen“ (MBT) ist eine Methodik, die .die systematische Nutzung von Modellen für Testaktivitäten vorsieht. Bei MBT können sowohl die Modelle aus Entwurf wiederverwendet als auch neue Testmodelle erstellt werden.
In unserer Forschung verwenden wir UML-basierte Modellierungsansätze, um den Testprozess zu unterstützen. „Visuelle Kontrakte“ basieren auf die Theorie von Graph-Transformationen und beschreiben das Verhalten von Software anhand Vor- und Nachbedingungen, die durch UML spezifiziert werden. Visuelle Kontrakte verwenden wir um Testfälle bzw. Testfallsequenzen zu generieren. Auch die Generierung von erwarteten Testergebnissen ist mit Hilfe von Graph-Transformationen möglich.
Kooperationen
- HJP Consulting GmbH
- TÜV Informationstechnik GmbH (TÜVIT)
- Bundesamt für Sicherheit in der Informationstechnik (BSI)
- GI-Arbeitskreis TOOP/MBT
Bachelor-, Diplom-, Masterarbeiten:
- Süleyman Issiz: Evaluation of model-based testing for componentbased systems at Bosch Security Systems, Masterarbeit 2013 (in Kooperation mit Robert Bosch GmbH)
- Claudia Schuhmacher: Systematische Bewertung von Testprozessen nach TPI NEXT mit Geschäftsprozess-Mustern, Masterarbeit 2012 (in Kooperation mit Sogeti Deutschland GmbH)
- Sebastian Schneegans: Analyse und Optimierung eines Softwaretestprozesses durch die Verwendung der Methoden des Modellbasierten Test, Masterarbeit 2011 (in Kooperation mit ORGA Systems GmbH)
- Dominik Beulen: Integration des modellbasierten Testens in agile Methoden am Beispiel von Scrum, Masterarbeit 2011 (in Kooperation mit imbus GmbH)
- Dominik Beulen: Evaluierung von Testverfahren mit visuellen Kontrakten, Bachelorarbeit 2009
- Dennis Hannwacker: Kontraktbasierte Generierung der Testsequenzen anhand des Modelchecking-Verfahrens, Diplomarbeit 2008
- Jens Ellerweg: Komponententest mit visuellen Kontrakten, Diplomarbeit 2008
- Dominik Klaholt:Einsatz visueller Kontrakte für Systemtest am Beispiel einer Web-Anwendung, Bachelorarbeit 2008
- Martin Kleine: Erstellen einer domänenspezifischen Sprache mit DSL Tools zum Editieren von visuellen Kontrakten, Studienarbeit 2008
- Tobias Eckardt: Generierung von Testfällen aus WebML-Modellen, Bachelorarbeit 2007
- Qiu Haibo: Model-Based Testing of Graphical User Interfaces for Test-Systems of Smart-Card-Interfaces, Bachelorarbeit 2006 (in Kooperation mit Comprion GmbH)
Verwandte Forschungsthemen: