QC 20160103

No abstract

No abstract

Software testing executes a system under test by giving it a series of inputs and comparing the outputs to expected values. Model-based testing generates test executions from an abstract model that describes the system behavior. Existing model-based approaches are not wellsuited for event-driven or input/output-driven systems. In particular, there is a need to support nonblocking I/O operations, or operations throwing exceptions 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. * , JSPS kaken-hi 23240003.