A method for verifying concurrent Java components based on an analysis of concurrency failures: Research Articles

Authors:
Brad Long;Paul Strooper;Luke Wildman
Affiliations:
School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Queensland 4072, Australia and Australian Development Centre, Oracle Corporation, 300 Ann Stree ...;School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Queensland 4072, Australia;School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Queensland 4072, Australia
Venue:
Concurrency and Computation: Practice & Experience - Parallel and Distributed Systems: Testing and Debugging (PADTAD)
Year:
2007

Citing 0
Cited 8

Testing concurrent java components

Proceedings of the 28th international conference on Software engineering
A state-of-practice questionnaire on verification and validation for concurrent programs

Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components

Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Testing Concurrent Java Components

ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies

WoSQ '07 Proceedings of the 5th International Workshop on Software Quality
A novel test coverage metric for concurrently-accessed software components

FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools

Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Optimizing threads schedule alignments to expose the interference bug pattern

SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering

Quantified Score

Hi-index	0.02

Visualization

Abstract

The Java programming language supports concurrency. Concurrent programs are harder to verify than their sequential counterparts due to their inherent non-determinism and a number of specific concurrency problems, such as interference and deadlock. In previous work, we have developed the ConAn testing tool for the testing of concurrent Java components. ConAn has been found to be effective at testing a large number of components, but there are certain classes of failures that are hard to detect using ConAn. Although a variety of other verification tools and techniques have been proposed for the verification of concurrent software, they each have their strengths and weaknesses. In this paper, we propose a method for verifying concurrent Java components that includes ConAn and complements it with other static and dynamic verification tools and techniques. The proposal is based on an analysis of common concurrency problems and concurrency failures in Java components. As a starting point for determining the concurrency failures in Java components, a Petri-net model of Java concurrency is used. By systematically analysing the model, we come up with a complete classification of concurrency failures. The classification and analysis are then used to determine suitable tools and techniques for detecting each of the failures. Finally, we propose to combine these tools and techniques into a method for verifying concurrent Java components. Copyright © 2006 John Wiley & Sons, Ltd.