Journal of Robotics, Networking and Artificial Life

Volume 1, Issue 4, March 2015, Pages 299 - 302

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

Authors
Tetsuro Katayama, Shoichiro Kitano, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Corresponding Author
Tetsuro Katayama
Available Online 2 March 2015.
DOI
10.2991/jrnal.2015.1.4.10How to use a DOI?
Keywords
multi-threaded program, testing, similarity, Java
Abstract

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.

Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Journal
Journal of Robotics, Networking and Artificial Life
Volume-Issue
1 - 4
Pages
299 - 302
Publication Date
2015/03/02
ISSN (Online)
2352-6386
ISSN (Print)
2405-9021
DOI
10.2991/jrnal.2015.1.4.10How to use a DOI?
Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - JOUR
AU  - Tetsuro Katayama
AU  - Shoichiro Kitano
AU  - Yoshihiro Kita
AU  - Hisaaki Yamaba
AU  - Kentaro Aburada
AU  - Naonobu Okazaki
PY  - 2015
DA  - 2015/03/02
TI  - Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs
JO  - Journal of Robotics, Networking and Artificial Life
SP  - 299
EP  - 302
VL  - 1
IS  - 4
SN  - 2352-6386
UR  - https://doi.org/10.2991/jrnal.2015.1.4.10
DO  - 10.2991/jrnal.2015.1.4.10
ID  - Katayama2015
ER  -