Model-Based Testing of Stateful APIs with Modbat
Abstract
Modbat makes testing easier by providing a user-friendly modeling language to describe the behavior of systems, from such a model, test cases are generated and executed. Modbat's domain-specific language is based on Scala, its features include probabilistic and non-deterministic transitions, component models with inheritance, and exceptions. We demonstrate the versatility of Modbat by finding a confirmed defect in the currently latest version of Java, and by testing SAT solvers.
BibTeX
@inproceedings{Artho-al:ASE15,
author = {Cyrille Artho and
Martina Seidl and
Quentin Gros and
Eun{-}Hye Choi and
Takashi Kitamura and
Akira Mori and
Rudolf Ramler and
Yoriyuki Yamagata},
title = {{Model-Based} Testing of Stateful {APIs} with Modbat},
booktitle = {ASE},
pages = {858--863},
publisher = {{IEEE} Computer Society},
year = {2015},
}