Modbat: A model-based API tester for event-driven systems
Sprache des Titels:
Dependable Systems Workshop 2012, Kobe, Japan
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.