user

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 条
  • [1] Proposal of a Testing Method Using Similarity of Interleaving for Java']Java Multi-threaded Programs
    Kitano, Shoichiro
    Katayama, Tetsuro
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Aburada, Kentaro
    Okazaki, Naonobu
    [J]. PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS (ICAROB2015), 2015, : 380 - 383
  • [2] On testing multi-threaded Java']Java programs
    Gong, Xufang
    Wang, Yanchen
    Zhou, Ying
    Li, Bixin
    [J]. SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 1, PROCEEDINGS, 2007, : 702 - +
  • [3] Framework for testing multi-threaded Java']Java programs
    Edelstein, O
    Farchi, E
    Goldin, E
    Nir, Y
    Ratsaby, G
    Ur, S
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2003, 15 (3-5): : 485 - 499
  • [4] An integrated regression testing framework to multi-threaded Java']Java programs
    Li, Bixin
    Wang, Yancheng
    Yang, LiLi
    [J]. SOFTWARE ENGINEERING TECHNIQUES: DESIGN FOR QUALITY, 2006, 227 : 237 - +
  • [5] MuTT: a Multi-Threaded Tracer for Java']Java Programs
    Liu, Dapeng
    Xu, Shaochun
    [J]. PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 949 - +
  • [6] Proposal of a Supporting Method for Debugging to Reproduce Java']Java Multi-threaded Programs by Petri-net
    Katayama, Tetsuro
    Kitano, Shoichiro
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Okazaki, Naonobu
    [J]. JOURNAL OF ROBOTICS NETWORKING AND ARTIFICIAL LIFE, 2014, 1 (03): : 207 - 211
  • [7] Proposal of a Supporting Method for Debugging to Reproduce Java']Java Multi-threaded Programs by Petri-Net
    Kitano, Shoichiro
    Katayama, Tetsuro
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Okazaki, Naonobu
    [J]. PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS (ICAROB 2014), 2014, : 218 - 221
  • [8] Model-checking multi-threaded distributed Java']Java programs
    Stoller, SD
    [J]. SPIN MODEL CHECKING AND SOFTWARE VERIFICATON, 2000, 1885 : 224 - 244
  • [9] A scalable architecture for multi-threaded JAVA']JAVA applications
    Mrva, M
    Buchenrieder, K
    Kress, R
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 868 - 874
  • [10] Safe locking for multi-threaded Java']Java with exceptions
    Johnsen, Einar Broch
    Thi Mai Thuong Tran
    Owe, Olaf
    Steffen, Martin
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (03): : 257 - 283
12345