Prut4j: Protocol Unit Testing fo(u)r Java']Java

被引：2
|
作者：
Slob, Florian Joost [1 ]
Jongmans, Sung-Shik [1 ,2 ]
机构：
[1] Open Univ Netherlands, Dept Comp Sci, Heerlen, Netherlands
[2] Netherlands Fdn Sci Res Inst NWO I, Ctr Wiskunde & Informat CWI, Amsterdam, Netherlands
来源：
2021 14TH IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2021) | 2021年
关键词：
concurrency; communication; DSLs;
D O I：
10.1109/ICST49551.2021.00058
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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).
引用
收藏
页码：448 / 453
页数：6
相关论文
共 50 条
  • [1] Unit Testing in Java']Java
    Proulx, Viera K.
    Jossey, Weston
    ITICSE 2009: PROCEEDING OF THE 2009 ACM SIGSE ANNUAL CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, 2009, : 349 - 349
  • [2] A Java']Java unit and integration testing tool
    Penaloza, M
    Logar, A
    Johnson, J
    Boucher, M
    COMPUTERS AND THEIR APPLICATIONS, 2001, : 358 - 361
  • [3] Ctest4J: A Practical Configuration Testing Framework for Java']Java
    Wang, Shuai
    Lian, Xinyu
    Li, Qingyu
    Marinov, Darko
    Xu, Tianyin
    COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024, 2024, : 562 - 566
  • [4] A complete automation of unit testing for Java']Java programs
    Cheon, Y
    Kim, MY
    Perumandla, A
    SERP '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2005, : 290 - 295
  • [5] Java']Java Unit Testing Tool Competition - Fifth Round
    Panichella, Annibale
    Rueda Molina, Urko
    2017 IEEE/ACM 10TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST), 2017, : 32 - 38
  • [6] Java']Java Unit Testing Tool Competition - Sixth Round
    Rueda Molina, Urko
    Kifetew, Fitsum
    Panichella, Annibale
    PROCEEDINGS 2018 IEEE/ACM 11TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST), 2018, : 22 - 29
  • [7] Java']Java Unit Testing Tool Competition - Seventh Round
    Kifetew, Fitsum
    Devroey, Xavier
    Rueda, Urko
    2019 IEEE/ACM 12TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST 2019), 2019, : 15 - 20
  • [8] MBT4J: Automating the Model-Based Testing Process for Java']Java Applications
    Villalobos-Arias, Leonardo
    Quesada-Lopez, Christian
    Martinez, Alexandra
    Jenkins, Marcelo
    TRENDS AND APPLICATIONS IN SOFTWARE ENGINEERING (CIMPS 2018), 2019, 865 : 165 - 174
  • [9] CF4J: Collaborative filtering for Java']Java
    Ortega, F.
    Zhu, B.
    Bobadilla, J.
    Hernando, A.
    KNOWLEDGE-BASED SYSTEMS, 2018, 152 : 94 - 99
  • [10] SLICER4J: A Dynamic Slicer for Java']Java
    Ahmed, Khaled
    Lis, Mieszko
    Rubin, Julia
    PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21), 2021, : 1570 - 1574
12345