Model-based Testing of the Java Network API
This work addresses testing difficulties for developers working with Java network APIs, but it appears incremental as it applies an existing tool to a specific library.
The paper tackled the challenge of testing networked systems by presenting a solution using the tool 'Modbat' to generate test cases for Java's network library java.nio, covering both blocking and non-blocking functions, and achieved this through a model that dynamically simulates actions in multiple threads while handling non-determinism.
Testing networked systems is challenging. The client or server side cannot be tested by itself. We present a solution using tool "Modbat" that generates test cases for Java's network library java.nio, where we test both blocking and non-blocking network functions. Our test model can dynamically simulate actions in multiple worker and client threads, thanks to a carefully orchestrated design that covers non-determinism while ensuring progress.