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 条

[31] Understanding the Cost of Thread Migration for Multi-Threaded Java']Java Applications Running on a Multicore Platform
Teng, Qiming
Sweeney, Peter F.
Duesterwald, Evelyn
ISPASS 2009: IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE, 2009, : 123 - 132
[32] An event-based structural operational semantics of multi-threaded java
Cenciarelli, Pietro
Knapp, Alexander
Reus, Bernhard
Wirsing, Martin
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1999, 1523 : 157 - 200
[33] Secure, real-time and multi-threaded general-purpose embedded Java']Java microarchitecture
Zabel, Martin
Preusser, Thomas B.
Reichel, Peter
Spallek, Rainer G.
DSD 2007: 10TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN ARCHITECTURES, METHODS AND TOOLS, PROCEEDINGS, 2007, : 59 - 62
[34] Development of Java multi-threaded simulation for chemical reacting flow of ethanol
Yamada, E.
Shimada, T.
Hayashi, A.K.
Advances in Engineering Software, 2012, 54 : 17 - 23
[35] Compiler Testing using Template Java']Java Programs
Zang, Zhiqiang
Wiatrek, Nathan
Gligoric, Milos
Shi, August
PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022, 2022,
[36] Exploiting method-level parallelism in single-threaded Java']Java programs
Chen, MK
Olukotun, K
1998 INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS, 1998, : 176 - 184
[37] Input-driven Active Testing of Multi-threaded Programs
Yue, Han
Wu, Peng
Chen, Tsong-Yueh
Lv, Yi
2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015), 2015, : 246 - 253
[38] Towards a framework and a benchmark for testing tools for multi-threaded programs
Eytani, Yaniv
Havelund, Klaus
Stoller, Scott D.
Ur, Shmuel
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2007, 19 (03): : 267 - 279
[39] Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications
Robert J. Hall
Automated Software Engineering, 2005, 12 (4) : 415 - 446
[40] Testing Multi-Threaded Programs by Transformation to Hoare's CSP
Murthy, P.V.R.
Rani, Naveeta
MysuruCon 2022 - 2022 IEEE 2nd Mysore Sub Section International Conference, 2022,

← 1 2 3 4 5 →