# Model-based Testing of the Java Network API

## TL;DR

This paper introduces 'Modbat', a model-based testing tool for Java's network API, capable of generating dynamic test cases for blocking and non-blocking network functions, addressing the challenges of testing networked systems.

## Contribution

The paper presents a novel approach using 'Modbat' to systematically test Java's java.nio network library, including concurrent and non-deterministic behaviors.

## Key findings

- Successfully tests blocking and non-blocking network functions
- Handles multi-threaded and non-deterministic scenarios
- Ensures thorough coverage of network API behaviors

## Abstract

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.