Modbat: A model-based API tester for event-driven systems

Cyrille Artho; Armin Biere; M. Hagiya; R. Potter; Rudolf Ramler; Y. Tanabe; F. Weitl; M. Yamamoto

Modbat: A model-based API tester for event-driven systems

Cyrille Artho
, Armin Biere
, M. Hagiya
, R. Potter
, Rudolf Ramler
, Y. Tanabe
, F. Weitl
, M. Yamamoto

Institute of Formal Models and Verification

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

Abstract

Software testing executes a system under test by giving it a series of inputs and comparing the out- puts to expected values. Model-based testing gen- erates test executions from an abstract model that describes the system behavior. Existing model-based approaches are not well- suited for event-driven or input/output-driven sys- tems. In particular, there is a need to support non- blocking I/O operations, or operations throwing ex- ceptions when communication is disrupted. We present a new tool called \Modbat", which is specialized for testing the application programming interface of systems where these issues are common.

Original language	English
Title of host publication	Dependable Systems Workshop 2012, Kobe, Japan
Number of pages	2
Publication status	Published - Dec 2012

Fields of science

102011 Formal languages
102 Computer Sciences
101 Mathematics

JKU Focus areas

Computation in Informatics and Mathematics

Cite this

@inproceedings{6645187a9fb34ffca789ac219a461cb1,

title = "Modbat: A model-based API tester for event-driven systems",

abstract = "Software testing executes a system under test by giving it a series of inputs and comparing the out- puts to expected values. Model-based testing gen- erates test executions from an abstract model that describes the system behavior. Existing model-based approaches are not well- suited for event-driven or input/output-driven sys- tems. In particular, there is a need to support non- blocking I/O operations, or operations throwing ex- ceptions when communication is disrupted. We present a new tool called \textbackslash{}Modbat{"}, which is specialized for testing the application programming interface of systems where these issues are common.",

author = "Cyrille Artho and Armin Biere and M. Hagiya and R. Potter and Rudolf Ramler and Y. Tanabe and F. Weitl and M. Yamamoto",

year = "2012",

month = dec,

language = "English",

booktitle = "Dependable Systems Workshop 2012, Kobe, Japan",

}

TY - GEN

T1 - Modbat: A model-based API tester for event-driven systems

AU - Artho, Cyrille

AU - Biere, Armin

AU - Hagiya, M.

AU - Potter, R.

AU - Ramler, Rudolf

AU - Tanabe, Y.

AU - Weitl, F.

AU - Yamamoto, M.

PY - 2012/12

Y1 - 2012/12

N2 - Software testing executes a system under test by giving it a series of inputs and comparing the out- puts to expected values. Model-based testing gen- erates test executions from an abstract model that describes the system behavior. Existing model-based approaches are not well- suited for event-driven or input/output-driven sys- tems. In particular, there is a need to support non- blocking I/O operations, or operations throwing ex- ceptions when communication is disrupted. We present a new tool called \Modbat", which is specialized for testing the application programming interface of systems where these issues are common.

AB - Software testing executes a system under test by giving it a series of inputs and comparing the out- puts to expected values. Model-based testing gen- erates test executions from an abstract model that describes the system behavior. Existing model-based approaches are not well- suited for event-driven or input/output-driven sys- tems. In particular, there is a need to support non- blocking I/O operations, or operations throwing ex- ceptions when communication is disrupted. We present a new tool called \Modbat", which is specialized for testing the application programming interface of systems where these issues are common.

M3 - Conference proceedings

BT - Dependable Systems Workshop 2012, Kobe, Japan

ER -