Prut4j - Protocol Unit Testing fo(u)r Java

Florian Joost Slob; Sung-Shik Jongmans

doi:10.1109/icst49551.2021.00058

Prut4j - Protocol Unit Testing fo(u)r Java

Florian Joost Slob, Sung-Shik Jongmans

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

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

Original language	English
Title of host publication	2021 IEEE 14th International Conference on Software Testing, Verification and Validation
Subtitle of host publication	ICST 2021
Publisher	IEEE
Pages	448-453
Number of pages	6
DOIs	https://doi.org/10.1109/icst49551.2021.00058
Publication status	Published - 25 May 2021
Event	14th IEEE Conference on Software Testing, Verification and Validation - Online, Porto de Galinhas, Brazil Duration: 12 Apr 2021 → 16 Apr 2021 Conference number: 14 https://icst2021.icmc.usp.br/ https://ieeexplore.ieee.org/xpl/conhome/9438541/proceeding

Conference

Conference	14th IEEE Conference on Software Testing, Verification and Validation
Abbreviated title	ICST 2021
Country/Territory	Brazil
City	Porto de Galinhas
Period	12/04/21 → 16/04/21
Internet address	https://icst2021.icmc.usp.br/ https://ieeexplore.ieee.org/xpl/conhome/9438541/proceeding

Keywords

DSLs
communication
concurrency

Access to Document

10.1109/icst49551.2021.00058

Cite this

@inproceedings{46ded203f0c9419c96e9b8b993d86e32,

title = "Prut4j - Protocol Unit Testing fo(u)r Java",

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).",

keywords = "DSLs, communication, concurrency",

author = "Slob, {Florian Joost} and Sung-Shik Jongmans",

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.; 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021 ; Conference date: 12-04-2021 Through 16-04-2021",

year = "2021",

month = may,

day = "25",

doi = "10.1109/icst49551.2021.00058",

language = "English",

pages = "448--453",

booktitle = "2021 IEEE 14th International Conference on Software Testing, Verification and Validation",

publisher = "IEEE",

address = "United States",

url = "https://icst2021.icmc.usp.br/, https://ieeexplore.ieee.org/xpl/conhome/9438541/proceeding",

}

TY - GEN

T1 - Prut4j - Protocol Unit Testing fo(u)r Java

AU - Slob, Florian Joost

AU - Jongmans, Sung-Shik

N1 - Conference code: 14

PY - 2021/5/25

Y1 - 2021/5/25

N2 - 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).

AB - 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).

KW - DSLs

KW - communication

KW - concurrency

U2 - 10.1109/icst49551.2021.00058

DO - 10.1109/icst49551.2021.00058

M3 - Conference Article in proceeding

SP - 448

EP - 453

BT - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation

PB - IEEE

T2 - 14th IEEE Conference on Software Testing, Verification and Validation

Y2 - 12 April 2021 through 16 April 2021

ER -

Prut4j - Protocol Unit Testing fo(u)r Java

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this