Proposal of a Testing Method Using Similarity of Interleaving for Java']Java Multi-threaded Programs

被引：0
|
作者：
Katayama, Tetsuro [1 ]
Kitano, Shoichiro [1 ]
Kita, Yoshihiro [2 ]
Yamaba, Hisaaki [1 ]
Aburada, Kentaro [3 ]
Okazaki, Naonobu [1 ]
机构：
[1] Miyazaki Univ, 1-1 Gakuen Kibanadai Nishi, Miyazaki 8892192, Japan
[2] Kanagawa Inst Technol, Atsugi, Kanagawa 2430292, Japan
[3] Oita Natl Coll Technol, Oita 8700152, Japan
来源：
JOURNAL OF ROBOTICS NETWORKING AND ARTIFICIAL LIFE | 2015年 / 1卷 / 04期
关键词：
multi-threaded program; testing; similarity; !text type='Java']Java[!/text;
D O I：
10.2991/jrnal.2015.1.4.10
中图分类号：
TP24 [机器人技术];
学科分类号：
080202 ; 1405 ;
摘要：
In order to improve the efficiency of testing Java multi-threaded programs, this research proposes a testing method to detect order violation in them using similarity of interleaving. The proposed method improves the efficiency of testing by executing interleaving which can test the places where lead the order violation easily in source codes and by reducing interleaving which is similar to executed one already. The efficiency of the method is shown by experiments for confirmation.
引用
收藏
页码：299 / 302
页数：4
相关论文
共 50 条
  • [11] Safe locking for multi-threaded Java']Java with exceptions
    Johnsen, Einar Broch
    Thi Mai Thuong Tran
    Owe, Olaf
    Steffen, Martin
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (03): : 257 - 283
  • [12] Verifying a compiler optimization for multi-threaded Java']Java
    Reus, B
    Knapp, A
    Cenciarelli, P
    Wirsing, M
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1998, 1376 : 402 - 417
  • [13] Applying static analysis to large-scale, multi-threaded Java']Java programs
    Artho, C
    Biere, A
    2001 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 68 - 75
  • [14] Model-checking multi-threaded distributed Java programs
    Stoller S.D.
    International Journal on Software Tools for Technology Transfer, 2002, 4 (01) : 71 - 91
  • [15] On interleaving space exploration of multi-threaded programs
    Dongjie CHEN
    Yanyan JIANG
    Chang XU
    Xiaoxing MA
    Frontiers of Computer Science, 2021, (04) : 1 - 12
  • [16] On interleaving space exploration of multi-threaded programs
    Dongjie Chen
    Yanyan Jiang
    Chang Xu
    Xiaoxing Ma
    Frontiers of Computer Science, 2021, 15
  • [17] A sound and complete shared-variable concurrency model for multi-threaded Java']Java programs
    de Boer, F. S.
    Formal Methods for Open Object-Based Distributed Systems, Proceedings, 2007, 4468 : 252 - 268
  • [18] On interleaving space exploration of multi-threaded programs
    Chen, Dongjie
    Jiang, Yanyan
    Xu, Chang
    Ma, Xiaoxing
    FRONTIERS OF COMPUTER SCIENCE, 2021, 15 (04)
  • [19] Implementation of strong mobility for multi-threaded agents in Java']Java
    Chakravarti, AJ
    Wang, XJ
    Hallstrom, JO
    Baumgartner, G
    2003 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, PROCEEDINGS, 2003, : 321 - 330
  • [20] Proposal of a method to support testing for Java']Java programs with UML
    Katayama, T
    Yabuya, Y
    12TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2005, : 533 - 540
12345