Klassieke MBT-theorie richt zich vooral op reactieve systemen: communicerende systemen met discrete input- en output-berichten. Het testen van GUI-applicaties (web, desktop, mobiel) verschilt op verschillende vlakken. Een GUI reageert bijvoorbeeld zelden met een discreet bericht; in plaats daarvan moet de tester de GUI observeren op veranderingen in de getoonde inhoud.

We zijn geïnteresseerd in het toepassen van onze MBT-aanpak op GUI-applicaties. Daarvoor moeten we onderzoeken welke concepten gebruikt/nodig zijn voor het testen van zulke applicaties en hoe deze zich verhouden tot de klassieke MBT-theorie.

We verwachten dat GUI-testen uit te drukken is in generieke interacties: observeren, klikken, typen. Als dat klopt, zou een generieke adapter ontwikkeld kunnen worden waarmee veel verschillende applicaties getest kunnen worden.

Dit onderzoek kan plaatsvinden in de context van het Autolink-project (https://autolink.testar.org/), een onderzoeksproject in samenwerking met onder andere de Open Universiteit, Universiteit Utrecht en Universitat Politècnica de València.

Mogelijke onderzoeksvragen

GUI-testing combineren met MBT-theorie

Welke concepten zijn nodig voor het testen van GUI-applicaties? Hoe passen die binnen de klassieke MBT-theorie?

Model based GUI-testen evalueren

Hoe ziet model based testen van GUI-applicaties er in de praktijk uit?

Generieke adapters

Is het mogelijk om een generieke adapter voor GUI-interacties te definiëren? Deze adapter zou technologieën als web, QT, Mosaic en Windows GUIs moeten ondersteunen.

Geautomatiseerd GUI-model leren

De Testar-tool (https://testar.org) kan automatisch GUI-modellen leren door met de GUI te interacteren. We willen die functionaliteit uitbreiden naar meer GUI-technologieën.

Model based testen van GUI-applicaties

Mogelijke onderzoeksvragen

GUI-testing combineren met MBT-theorie

Model based GUI-testen evalueren

Generieke adapters

Geautomatiseerd GUI-model leren

Recent werk