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 条
  • [41] Functional Testing of Java']Java Programs
    Benac Earle, Clara
    Fredlund, Lars-Ake
    TRENDS IN FUNCTIONAL PROGRAMMING (TFP 2015), 2016, 9547 : 40 - 59
  • [42] JATTACK: Java']Java JIT Testing using Template Programs
    Zang, Zhiqiang
    Yu, Fu-Yao
    Wiatrek, Nathan
    Gligoric, Milos
    Shi, August
    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION, 2023, : 6 - 10
  • [43] Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java']Java Programs
    Nakamura, Hiroto
    Katayama, Tetsuro
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Okazaki, Naonobu
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS (ICAROB 2014), 2014, : 210 - 213
  • [44] Security Check for Multi-threaded Programs
    Tri Minh Ngo
    Tuan Van Nguyen
    2016 IEEE SIXTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2016, : 465 - 470
  • [45] Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java']Java Programs
    Katayama, Tetsuro
    Nakamura, Hiroto
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Okazaki, Naonobu
    JOURNAL OF ROBOTICS NETWORKING AND ARTIFICIAL LIFE, 2014, 1 (02): : 111 - 115
  • [46] Information Declassification for Multi-Threaded Programs
    Zhu, Hao
    Zhuang, Yi
    Chen, Xiang
    APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (04): : 1911 - 1916
  • [47] A Basis for Verifying Multi-threaded Programs
    Rustan, K.
    Leino, M.
    Mueller, Peter
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 378 - 393
  • [48] Information leakage of multi-threaded programs
    Noroozi, Ali A.
    Karimpour, Jaber
    Isazadeh, Ayaz
    COMPUTERS & ELECTRICAL ENGINEERING, 2019, 78 : 400 - 419
  • [49] Probabilistic noninterference for multi-threaded programs
    Sabelfeld, A
    Sands, D
    13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214
  • [50] Causal Termination of Multi-threaded Programs
    Kupriyanov, Andrey
    Finkbeiner, Bernd
    COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 814 - 830
12345