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 条
  • [31] TCFI4J: A Trust Enhanced Control Flow Integrity in Java']Java Virtual Machine
    Mei, Songzhu
    Cheng, Yong
    Ren, Jiangchun
    Wang, Zhiying
    Ma, Jun
    Wu, Jiangjiang
    Zhao, Yuliang
    APPLIED SCIENCE, MATERIALS SCIENCE AND INFORMATION TECHNOLOGIES IN INDUSTRY, 2014, 513-517 : 1477 - 1484
  • [32] An Evolutionary Approach for Performing Structural Unit-Testing on Third-Party Object-Oriented Java']Java Software
    Ribeiro, Jose Carlos
    Zenha-Rela, Mario
    Fernandez de Vega, Francisco
    NATURE INSPIRED COOPERATIVE STRATEGIES FOR OPTIMIZATION (NICSO 2007), 2008, 129 : 379 - +
  • [33] The MPEG-4 Java']Java API & MPEGlets - Creating interactive MPEG-4 content with MPEG-J
    Walsh, AE
    DR DOBBS JOURNAL, 2002, 27 (04): : 40 - +
  • [34] Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java']Java Programs
    Sadiq, Ayesha
    Li, Li
    Li, Yuan-Fang
    Ahmed, Ijaz
    Ling, Sea
    34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019), 2019, : 1098 - 1101
  • [35] CC4J - Code coverage for Java']Java - A load-time adaptation success story
    Kniesel, G
    Austermann, M
    COMPONENT DEPLOYMENT, 2002, 2370 : 155 - 169
  • [36] Scientific scripting in Java']Java with JS']JShellLab and application to deep learning using DeepLearning4j
    Papadimitriou, Stergios
    INTERNATIONAL JOURNAL OF MODELING SIMULATION AND SCIENTIFIC COMPUTING, 2020, 11 (04)
  • [37] Automatic repair of real bugs in java']java: a large-scale experiment on the defects4j dataset
    Martinez, Matias
    Durieux, Thomas
    Sommerard, Romain
    Xuan, Jifeng
    Monperrus, Martin
    EMPIRICAL SOFTWARE ENGINEERING, 2017, 22 (04) : 1936 - 1964
  • [38] Vul4J: A Dataset of Reproducible Java']Java Vulnerabilities Geared Towards the Study of Program Repair Techniques
    Bui, Quang-Cuong
    Scandariato, Riccardo
    Ferreyra, Nicolas E. Diaz
    2022 MINING SOFTWARE REPOSITORIES CONFERENCE (MSR 2022), 2022, : 464 - 468
  • [39] Hacking with Multi-touch for Java (MT4j)
    Anslow, Craig
    Marshall, Stuart
    Noble, James
    Biddle, Robert
    Mobile! 2016 - Proceedings of the 1st International Workshop on Mobile Development, co-located with SPLASH 2016, 2016, : 17 - 20
  • [40] Ppt4J: Patch Presence Test for Java Binaries
    Pan, Zhiyuan
    Hu, Xing
    Xia, Xin
    Zhan, Xian
    Lo, David
    Yang, Xiaohu
    arXiv, 2023,
12345