Model-based Testing of the Java Network API

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 d...

Full description

Saved in:
Bibliographic Details
Published inElectronic proceedings in theoretical computer science Vol. 245; no. 245; pp. 46 - 51
Main Authors Artho, Cyrille, Rousset, Guillaume
Format Journal Article
LanguageEnglish
Published Open Publishing Association 20.03.2017
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:2075-2180
2075-2180
DOI:10.4204/EPTCS.245.4