Dealing with non-determinism in testing concurrent Java']Java components

被引：3
|
作者：
Wildman, L [1 ]
Long, B [1 ]
Strooper, P [1 ]
机构：
[1] Univ Queensland, Sch Informat Technol & Elect Engn, St Lucia, Qld 4072, Australia
来源：
12th Asia-Pacific Software Engineering Conference, Proceedings | 2005年
关键词：
D O I：
10.1109/APSEC.2005.58
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The testing of concurrent software components can be difficult due to the inherent non-determinism present in these components. For example, if the same test case is run multiple times, it may produce different results. This non-determinism may lead to problems with determining expected outputs. In this paper, we present and discuss several possible solutions to this problem in the context of testing concurrent Java components using the ConAn testing tool. We then present a recent extension to the tool that provides a general solution to this problem that is sufficient to deal with the level of non-determinism that we have encountered in testing over 20 components with ConAn.
引用
收藏
页码：393 / 400
页数：8
相关论文
共 50 条
  • [1] Dealing with non-determinism in testing concurrent java components
    Wildman, Luke
    Long, Brad
    Strooper, Paul
    Proc. Asia Pac. Softw. Eng. Conf. APSEC, (393-400):
  • [2] Testing concurrent Java']Java components
    Strooper, Paul
    Wildman, Luke
    29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: ICSE 2007 COMPANION VOLUME, PROCEEDINGS, 2007, : 161 - +
  • [3] Tool support for testing concurrent Java']Java components
    Long, B
    Hoffman, D
    Strooper, P
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (06) : 555 - 566
  • [4] Typed Non-determinism in Functional and Concurrent Calculi
    van den Heuvel, Bas
    Paulus, Joseph W. N.
    Nantes-Sobrinho, Daniele
    Perez, Jorge A.
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2023, 2023, 14405 : 112 - 132
  • [5] Non-determinism and Probabilities in Timed Concurrent Constraint Programming
    Perez, Jorge A.
    Rueda, Carnilo
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 677 - +
  • [6] Coverage testing of Java']Java programs and components
    Vincenzi, AMR
    Maldonado, JC
    Wong, WE
    Delamaro, ME
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 56 (1-2) : 211 - 230
  • [7] Concurrent Java']Java
    Agha, GA
    IEEE CONCURRENCY, 1997, 5 (04): : 2 - 3
  • [8] Synthesis of verifiable concurrent Java']Java components from formal models
    Marino, Julio
    Alborodo, Raul N. N.
    Fredlund, Lars-Ake
    Herranz, Angel
    SOFTWARE AND SYSTEMS MODELING, 2019, 18 (01): : 71 - 105
  • [9] A conformance testing method for communication protocols modeled as concurrent DFSMs - Treatment of non-observable non-determinism
    Fukada, A
    Nakata, A
    Kitamichi, J
    Higashino, T
    Cavalli, A
    15TH INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING, PROCEEDINGS, 2001, : 155 - 162
  • [10] Enforcing Determinism of Java']Java Smart Contracts
    Spoto, Fausto
    FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2020, 2020, 12063 : 568 - 583
12345