Model-based testing of stateful APIs with Modbat

Cyrille Artho; Martina Seidl; Quentin Gros; Eun-Hye Choi; Takashi Kitamura; Akira Mori; Rudolf Ramler; Yoriyuki Yamagata

Model-based testing of stateful APIs with Modbat

Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata

Institute of Formal Models and Verification

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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.

Original language	English
Title of host publication	Proceddings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015)
Publisher	IEEE
Pages	858-863
Number of pages	6
Volume	DOI 10.1109/ASE.2015.95
Publication status	Published - Nov 2015

Publication series

Name	IEEE

Fields of science

102 Computer Sciences
603109 Logic
202006 Computer hardware

JKU Focus areas

Computation in Informatics and Mathematics

Cite this

@inproceedings{fe5f274af6bc4479a5d005bf24c35dba,

title = "Model-based testing of stateful APIs with Modbat",

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{\textquoteright}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.",

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",

year = "2015",

month = nov,

language = "English",

volume = "DOI 10.1109/ASE.2015.95",

series = "IEEE",

publisher = "IEEE",

pages = "858--863",

booktitle = "Proceddings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015)",

}

Model-based testing of stateful APIs with Modbat. / Artho, Cyrille; Seidl, Martina; Gros, Quentin et al.
Proceddings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015). Vol. DOI 10.1109/ASE.2015.95 IEEE, 2015. p. 858-863 (IEEE).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Model-based testing of stateful APIs with Modbat

AU - Artho, Cyrille

AU - Seidl, Martina

AU - Gros, Quentin

AU - Choi, Eun-Hye

AU - Kitamura, Takashi

AU - Mori, Akira

AU - Ramler, Rudolf

AU - Yamagata, Yoriyuki

PY - 2015/11

Y1 - 2015/11

N2 - 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.

AB - 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.

M3 - Conference proceedings

VL - DOI 10.1109/ASE.2015.95

T3 - IEEE

SP - 858

EP - 863

BT - Proceddings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015)

PB - IEEE

ER -