Model-based testing without models: The TodoMVC case study

Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Web applications define the interface to many of the businesses and services that we interact with and use on a daily basis. The technology stack enabling these applications is constantly changing and applications are accessed from a plethora of different devices. Automated testing of the behavior of applications is a promising strategy for reducing the manual effort that has to be spent on ensuring a consistent user experience across devices. Unfortunately, specifications or models of the desired behavior often do not exist. Model-based testing without models (aka learning-based testing) tries to overcome this hurdle by integrating model learning and model-based testing. In this paper, we sketch the ALEX tool [1, 11] for learning-based testing of web application and demonstrate its operation on benchmarks from the TodoMVC project. Our learning-based conformance analysis reveals that 7 of 27 Todo-apps exhibit behavior that differs from the majority of implementations.

Original languageEnglish
Title of host publicationModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
EditorsJoost-Pieter Katoen, Joost-Pieter Katoen, Rom Langerak, Arend Rensink
PublisherSpringer Verlag
Pages125-144
Number of pages20
ISBN (Print)9783319682693
DOIs
Publication statusPublished - 2017
Externally publishedYes
EventSymposium on ModelEd, TestEd, TrustEd in honor of Ed Brinksma on the occasion of his 60th birthday, 2017 - Enschede, Netherlands
Duration: 18 Oct 201718 Oct 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10500 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceSymposium on ModelEd, TestEd, TrustEd in honor of Ed Brinksma on the occasion of his 60th birthday, 2017
Country/TerritoryNetherlands
CityEnschede
Period18/10/1718/10/17

Keywords

  • Active automata learning
  • Conformance testing
  • Model-based testing
  • Specification mining

Fingerprint

Dive into the research topics of 'Model-based testing without models: The TodoMVC case study'. Together they form a unique fingerprint.

Cite this