TY - GEN
T1 - Model-based testing without models
T2 - Symposium on ModelEd, TestEd, TrustEd in honor of Ed Brinksma on the occasion of his 60th birthday, 2017
AU - Bainczyk, Alexander
AU - Schieweck, Alexander
AU - Steffen, Bernhard
AU - Howar, Falk
N1 - Publisher Copyright:
© Springer International Publishing AG 2017.
PY - 2017
Y1 - 2017
N2 - 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.
AB - 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.
KW - Active automata learning
KW - Conformance testing
KW - Model-based testing
KW - Specification mining
UR - http://www.scopus.com/inward/record.url?scp=85032678181&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-68270-9_7
DO - 10.1007/978-3-319-68270-9_7
M3 - Conference contribution
AN - SCOPUS:85032678181
SN - 9783319682693
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 125
EP - 144
BT - ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
A2 - Katoen, Joost-Pieter
A2 - Katoen, Joost-Pieter
A2 - Langerak, Rom
A2 - Rensink, Arend
PB - Springer Verlag
Y2 - 18 October 2017 through 18 October 2017
ER -