LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

Kari Kähkönen; Olli Saarikivi; Keijo Heljanko

doi:10.1016/j.entcs.2013.09.002

LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

Kari Kähkönen, Olli Saarikivi, Keijo Heljanko

Research output: Contribution to journal › Article › Scientific › peer-review

147 Downloads (Pure)

Abstract

LIME Concolic Tester (LCT) is an open source automated testing tool that allows testing both sequential and multithreaded Java programs. The tool uses concolic testing to handle input values and dynamic partial order reduction (DPOR) combined with sleep sets to avoid exploring unnecessary interleavings of threads. The LCT tool has been designed for distributed use where the SMT constraint solving and test execution can be distributed to multiple processes on a network of workstations. In this paper we describe the architecture behind the tool and how it allows distributing concolic testing with DPOR and sleep set algorithms. This allows different execution paths of a given program to be tested in parallel. We evaluate the architecture and distributed algorithms of the tool on several Java benchmark programs.

Original language	English
Pages (from-to)	253-259
Journal	Electronic Notes in Theoretical Computer Science
Volume	296
DOIs	https://doi.org/10.1016/j.entcs.2013.09.002
Publication status	Published - 2013
MoE publication type	A1 Journal article-refereed

Keywords

Concolic testing
distributed testing
symbolic execution

Access to Document

10.1016/j.entcs.2013.09.002

1-s2.0-S1571066113000480-mainFinal published version, 270 KBLicence: CC BY-NC-ND

Cite this

@article{40003d29a0684c4d94f4e48eb30ad4a1,

title = "LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs",

abstract = "LIME Concolic Tester (LCT) is an open source automated testing tool that allows testing both sequential and multithreaded Java programs. The tool uses concolic testing to handle input values and dynamic partial order reduction (DPOR) combined with sleep sets to avoid exploring unnecessary interleavings of threads. The LCT tool has been designed for distributed use where the SMT constraint solving and test execution can be distributed to multiple processes on a network of workstations. In this paper we describe the architecture behind the tool and how it allows distributing concolic testing with DPOR and sleep set algorithms. This allows different execution paths of a given program to be tested in parallel. We evaluate the architecture and distributed algorithms of the tool on several Java benchmark programs.",

keywords = "Concolic testing, distributed testing, symbolic execution",

author = "Kari K{\"a}hk{\"o}nen and Olli Saarikivi and Keijo Heljanko",

note = "VK: stmcdes dc hiit",

year = "2013",

doi = "10.1016/j.entcs.2013.09.002",

language = "English",

volume = "296",

pages = "253--259",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

AU - Kähkönen, Kari

AU - Saarikivi, Olli

AU - Heljanko, Keijo

N1 - VK: stmcdes dc hiit

PY - 2013

Y1 - 2013

N2 - LIME Concolic Tester (LCT) is an open source automated testing tool that allows testing both sequential and multithreaded Java programs. The tool uses concolic testing to handle input values and dynamic partial order reduction (DPOR) combined with sleep sets to avoid exploring unnecessary interleavings of threads. The LCT tool has been designed for distributed use where the SMT constraint solving and test execution can be distributed to multiple processes on a network of workstations. In this paper we describe the architecture behind the tool and how it allows distributing concolic testing with DPOR and sleep set algorithms. This allows different execution paths of a given program to be tested in parallel. We evaluate the architecture and distributed algorithms of the tool on several Java benchmark programs.

AB - LIME Concolic Tester (LCT) is an open source automated testing tool that allows testing both sequential and multithreaded Java programs. The tool uses concolic testing to handle input values and dynamic partial order reduction (DPOR) combined with sleep sets to avoid exploring unnecessary interleavings of threads. The LCT tool has been designed for distributed use where the SMT constraint solving and test execution can be distributed to multiple processes on a network of workstations. In this paper we describe the architecture behind the tool and how it allows distributing concolic testing with DPOR and sleep set algorithms. This allows different execution paths of a given program to be tested in parallel. We evaluate the architecture and distributed algorithms of the tool on several Java benchmark programs.

KW - Concolic testing

KW - distributed testing

KW - symbolic execution

U2 - 10.1016/j.entcs.2013.09.002

DO - 10.1016/j.entcs.2013.09.002

M3 - Article

SN - 1571-0661

VL - 296

SP - 253

EP - 259

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

Abstract

Keywords

Access to Document

Fingerprint

Cite this