Work

Prut4j: Protocol Unit Testing fo(u)r Java

Year: 2021

Type: conference-paper

Abstract: This paper presents Prut4j: a tool to simplify unit testing of channel/queue-based communication protocols in concurrent Java programs. Prut4j offers two domain-specific languages to write, compile (to Java), and execute (with JUnit) high-level "protocol modules" and accompanying unit tests. Our first evaluation provides evidence for Prut4j's expressiveness (network topologies, games, scientific kernels) and efficiency (Prut4j-based programs perform well in a third-party benchmark).

Source: IEEE International Conference on Software Testing, Verification and Validation (ICST)

DOI: 10.1109/icst49551.2021.00058

Authors: Florian Joost Slob, Sung-Shik Jongmans

Institutions: Open University of the Netherlands, Centrum Wiskunde & Informatica, NWO-I

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W3169639603

FWCI: 0.175

Cites: 22

Cited by: 1

Related to: 10