Model-based testing of stateful APIs with Modbat

C. Artho, M. Seidl, Q. Gros, E. Choi, T. Kitamura, A. Mori, R. Ramler, Y. Yamagata. Model-based testing of stateful APIs with Modbat. pages 858-863, DOI 10.1109/ASE.2015.95, 11, 2015.

Autoren
  • Cyrille Artho
  • Martina Seidl
  • Quentin Gros
  • Eun-Hyu Choi
  • Takashi Kitamura
  • Akira Mori
  • Rudolf Ramler
  • Yoriyuki Yamagata
BuchProceddings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015)
TypIn Konferenzband
VerlagIEEE
DOI10.1109/ASE.2015.95
ISBN978-1-5090-0025-8
Monat11
Jahr2015
Seiten858-863
Abstract

Modbat makes testing easier by providing a userfriendly 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.