Mod­ell Based Test­ing (MBT)

Model-based testing enables systematically and efficiently testing of software systems by low costs. Thereby test cases are derived from models systematically. The more formal the models are, the higher potential for automating the test design does exist. 

Members: Baris Güldali, Ivan Jovanovikj

Contact person: Baris Güldali

Description:

Software models are used in software development for different purposes, e.g. for specifying the requirements, for documenting design aspects or for code generation. Models can also be used for testing purposes, e.g. for generating test cases and test scripts, as test oracles, and for defining test selection criteria. Model-based testing (MBT) advocates the systematic use of models for testing activities. MBT mostly uses both models design phase or explicit test models.

In our research activities we use UML-based modeling languages for MBT. Visual contracts are based on the theory of graph transformations and define the behavior of software systems by specifying pre- and post-conditions, which are UML diagrams. We use visual contracts for generating test cases and sequences of test cases. The expected test results can be computed by means of graph transformations.

Cooperations

  • HJP Consulting GmbH
  • TÜV Informationstechnik GmbH (TÜVIT)
  • Bundesamt für Sicherheit in der Informationstechnik (BSI)
  • GI-Arbeitskreis TOOP/MBT

Bachelor and Masterthesis:

  • 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:

Pub­lic­a­tions