Sophisticated Testing of Concurrent Programs

Letko, Zdeněk

doi:10.1109/ssbse.2010.14

Cited by 5 publications

(13 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Additionally, several new heuristics are introduced. Then, in Section 4.3, a selection of results of previously published comparisons of the older noise‐injection heuristics is presented. Based on the results, the most promising heuristics and their parameters are pinpointed.…”

Section: Noise‐injection Techniquesmentioning

confidence: 99%

“…In this section, the most important aspects of previously published comparisons of noise‐injection heuristics are highlighted. These results were used to set up an environment for the comparisons presented in this article.…”

Section: Noise‐injection Techniquesmentioning

confidence: 99%

“…An extensive and systematic comparison of results of various existing noise placement and noise seeding heuristics including the coverage‐based noise placement heuristics and the related noise seeding heuristics introduced earlier for Java has been published in . The heuristics were compared according to their efficiency to improve detection of concurrency errors, to improve the concurrency‐related coverage metrics HBPair * and Avio * in the considered test cases, and to affect the execution time of the considered test cases.…”

Section: Noise‐injection Techniquesmentioning

confidence: 99%

“…In this paper, a unified overview of multiple results from the area of noise‐injection‐based testing that were published by the authors in several past years is provided. In particular, multiple novel coverage metrics (first proposed by Křena et al ), which measure how well the behaviour of tested programmes has been examined from the point of view of possible occurrence of certain synchronization‐related errors, are presented first.…”

Section: Introductionmentioning

confidence: 99%

“…These metrics can be used to control saturation‐based testing, to compare effectiveness of various testing approaches, or to tune parameters of meta‐heuristic algorithms applied in testing . Next, various noise‐injection heuristics and their influence on error detection and ability to increase concurrency‐related coverage (absolutely and relatively, i.e. taking into account the longer test execution time caused by noise injection) are studied.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Advances in noise‐based testing of concurrent software

Fiedor

Hrubá

Křena

et al. 2014

Software Testing Verif & Rel

View full text Add to dashboard Cite

SummaryTesting of concurrent software written in programming languages like Java and C/C++ is a highly challenging task owing to the many possible interactions among threads. A simple, cheap, and effective approach that addresses this challenge is testing with noise injection, which influences the scheduling so that different interleavings of concurrent actions are witnessed. In this paper, multiple results achieved recently in the area of noise‐injection‐based testing by the authors are presented in a unified and extended way. In particular, various concurrency coverage metrics are presented first. Then, multiple heuristics for solving the noise placement problem (i.e. where and when to generate noise) as well as the noise seeding problem (i.e. how to generate the noise) are introduced and experimentally evaluated. In addition, several new heuristics are proposed and included into the evaluation too. Recommendations on how to set up noise‐based testing for particular scenarios are then given. Finally, a novel use of the genetic algorithm for finding suitable combinations of the many parameters of tests and noise techniques is presented. Copyright © 2014 John Wiley & Sons, Ltd.

show abstract

Section: Noise‐injection Techniquesmentioning

confidence: 99%

Section: Noise‐injection Techniquesmentioning

confidence: 99%

Section: Noise‐injection Techniquesmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Advances in noise‐based testing of concurrent software

Fiedor

Hrubá

Křena

et al. 2014

Software Testing Verif & Rel

View full text Add to dashboard Cite

show abstract

A systematic review of approaches for testing concurrent programs

Arora

Bhatia

Singh

2015

Concurrency and Computation

View full text Add to dashboard Cite

SUMMARYConcurrent programs are replacing the sequential programs as they utilize the true capabilities of multicore architecture. The extensive use of multicore systems and multithreaded paradigms warrants more attention to the testing of the concurrent programs. The testing concurrent program is not a new field as it has been more than 40 years because the first problem related to the testing concurrent program was addressed by the researchers. The field covers various domains, which include concurrency problems, testing approaches, techniques, graphical representations, tools, and subject systems. This paper aims at providing an overview of research in the domain of testing concurrent programs by classifying it into eight categories: (a) reachability testing, (b) structural testing, (c) model-based testing, (d) mutation-based testing, (e) slicing-based testing, (f) formal methods, (g) random testing, and (h) search-based testing. The survey is focused on the techniques applied, methodologies followed, and tools used in these aforementioned approaches. Furthermore, the gaps are also identified in different approaches. The paper concludes with the consolidation of various testing parameters along with the future directions.

show abstract