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 条
  • [41] Application of Java Relationship Graphs (JRG) to plagiarism detection in Java Projects: A Neo4j Graph Database Approach
    Arora, Ritu
    Motilal Maurya, Arun
    Sharma, Yashvardhan
    ACM International Conference Proceeding Series, 2021, : 46 - 51
  • [42] NOD4J: Near-omniscient debugging tool for Java']Java using size-limited execution trace
    Shimari, Kazumasa
    Ishio, Takashi
    Kanda, Tetsuya
    Ishida, Naoto
    Inoue, Katsuro
    SCIENCE OF COMPUTER PROGRAMMING, 2021, 206
  • [43] CF4J 2.0: Adapting Collaborative Filtering for Java']Java to new challenges of collaborative filtering based recommender systems
    Ortega, F.
    Mayor, J.
    Lopez-Fernandez, D.
    Lara-Cabrera, R.
    KNOWLEDGE-BASED SYSTEMS, 2021, 215
  • [44] DeepMal4J: Java malware detection employing deep learning
    Jha, Pallavi Kumari
    Shankar, Prem
    Sujadevi, V.G.
    Prabhaharan, P.
    Communications in Computer and Information Science, 2019, 969 : 389 - 402
  • [45] Design and Implementation of Java Knowledge Graph Based on Neo4j
    Huang, Bin
    Deng, Wenlong
    IEEE International Conference on Knowledge Engineering and Communication Systems, ICKES 2022, 2022,
  • [46] Graph4J - A computationally efficient Java library for graph algorithms
    Frăsinaru, Cristian
    Olariu, Emanuel Florentin
    arXiv, 2023,
  • [47] C.U.R.R.F. (Codon Usage regarding Restriction Finder): A Free Java']Java®-Based Tool to Detect Potential Restriction Sites in Both Coding and Non-Coding DNA Sequences
    Gatter, Michael
    Gatter, Thomas
    Matthaeus, Falk
    MOLECULAR BIOTECHNOLOGY, 2012, 52 (02) : 123 - 128
  • [48] Automated Cell Tracking and Analysis in Phase-Contrast Videos (iTrack4U): Development of Java']Java Software Based on Combined Mean-Shift Processes
    Cordelieres, Fabrice P.
    Petit, Valerie
    Kumasaka, Mayuko
    Debeir, Olivier
    Letort, Veronique
    Gallagher, Stuart J.
    Larue, Lionel
    PLOS ONE, 2013, 8 (11):
  • [49] SWAT4J: Generating System Call Allowlist for Java Container Attack Surface Reduction
    Xu, Yijiang
    Zhou, Muxian
    Gao, Qing
    Zhang, Shikun
    Wu, Zhonghai
    Proceedings - 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024, 2024, : 929 - 939
  • [50] Vul4J: A Dataset of Reproducible Java Vulnerabilities Geared Towards the Study of Program Repair Techniques
    Bui, Quang-Cuong
    Scandariato, Riccardo
    Ferreyra, Nicolas E. Diaz
    Proceedings - 2022 Mining Software Repositories Conference, MSR 2022, 2022, : 464 - 468
12345