aalto1 untyped-item.component.html
LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs
Loading...
Access rights
openAccess
publishedVersion
URL
Journal Title
Journal ISSN
Volume Title
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä
This publication is imported from Aalto University research portal.
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Unless otherwise stated, all rights belong to the author. You may download, display and print this publication for Your own personal use. Commercial use is prohibited.
Date
Major/Subject
Mcode
Degree programme
Language
en
Pages
Series
Electronic Notes in Theoretical Computer Science, Volume 296, pp. 253-259
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.
Description
VK: stmcdes dc hiit
Other note
Citation
Kähkönen, K, Saarikivi, O & Heljanko, K 2013, 'LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs', Electronic Notes in Theoretical Computer Science, vol. 296, pp. 253-259. https://doi.org/10.1016/j.entcs.2013.09.002