research-article

Tool Support for Testing Concurrent Java Components

Authors:

Brad Long,

Daniel Hoffman,

Paul StrooperAuthors Info & Claims

IEEE Transactions on Software Engineering, Volume 29, Issue 6

Pages 555 - 566

https://doi.org/10.1109/TSE.2003.1205182

Published: 01 June 2003 Publication History

Publisher Site

Abstract

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Tool support is offered through ConAn (Concurrency Analyser), a tool for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

Cited By

View all

Melo SSouza SSilva RSouza PVos TEldh SPrasetya W(2015)Concurrent software testing in practice: a catalog of toolsProceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation10.1145/2804322.2804328(31-40)Online publication date: 30-Aug-2015
https://dl.acm.org/doi/10.1145/2804322.2804328
Kechagia MMitropoulos DSpinellis D(2015)Charting the API minefield using software telemetry dataEmpirical Software Engineering10.1007/s10664-014-9343-720:6(1785-1830)Online publication date: 1-Dec-2015
https://dl.acm.org/doi/10.1007/s10664-014-9343-7
Elmas TBurnim JNecula GSen K(2013)CONCURRITACM SIGPLAN Notices10.1145/2499370.246216248:6(153-164)Online publication date: 16-Jun-2013
https://dl.acm.org/doi/10.1145/2499370.2462162
Show More Cited By

Tool Support for Testing Concurrent Java Components
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
  2. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

Testing concurrent java components
ICSE '06: Proceedings of the 28th international conference on Software engineering

Testing concurrent software is notoriously difficult due to problems with non-determinism and synchronisation. While tools and techniques for the testing of sequential components are well-understood and widely used, similar tools and techniques for ...
Testing Concurrent Java Components
ICSE COMPANION '07: Companion to the proceedings of the 29th International Conference on Software Engineering

Testing concurrent software is notoriously difficult due to problems with non-determinism and synchronisation. While tools and techniques for the testing of sequential components are well-understood and widely used, similar tools and techniques for ...
Testing atomicity of composed concurrent operations
OOPSLA '11: Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications

We address the problem of testing atomicity of composed concurrent operations. Concurrent libraries help programmers exploit parallel hardware by providing scalable concurrent operations with the illusion that each operation is executed atomically. ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image IEEE Transactions on Software Engineering

IEEE Transactions on Software Engineering Volume 29, Issue 6

June 2003

95 pages

ISSN:0098-5589

Issue’s Table of Contents

Publisher

IEEE Press

Publication History

Published: 01 June 2003

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

21
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Melo SSouza SSilva RSouza PVos TEldh SPrasetya W(2015)Concurrent software testing in practice: a catalog of toolsProceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation10.1145/2804322.2804328(31-40)Online publication date: 30-Aug-2015
https://dl.acm.org/doi/10.1145/2804322.2804328
Kechagia MMitropoulos DSpinellis D(2015)Charting the API minefield using software telemetry dataEmpirical Software Engineering10.1007/s10664-014-9343-720:6(1785-1830)Online publication date: 1-Dec-2015
https://dl.acm.org/doi/10.1007/s10664-014-9343-7
Elmas TBurnim JNecula GSen K(2013)CONCURRITACM SIGPLAN Notices10.1145/2499370.246216248:6(153-164)Online publication date: 16-Jun-2013
https://dl.acm.org/doi/10.1145/2499370.2462162
Elmas TBurnim JNecula GSen KBoehm HFlanagan C(2013)CONCURRITProceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/2491956.2462162(153-164)Online publication date: 16-Jun-2013
https://dl.acm.org/doi/10.1145/2491956.2462162
Luo QRoşu GPezzè MHarman M(2013)EnforceMOP: a runtime property enforcement system for multithreaded programsProceedings of the 2013 International Symposium on Software Testing and Analysis10.1145/2483760.2483766(156-166)Online publication date: 15-Jul-2013
https://dl.acm.org/doi/10.1145/2483760.2483766
Tasharofi SPradel MLin YJohnson RDenney EBultan TZeller A(2013)BitaProceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2013.6693072(114-124)Online publication date: 11-Nov-2013
https://dl.acm.org/doi/10.1109/ASE.2013.6693072
Burnim JElmas TNecula GSen K(2012)CONCURRITProceedings of the 4th USENIX conference on Hot Topics in Parallelism10.5555/2342788.2342804(16-16)Online publication date: 7-Jun-2012
https://dl.acm.org/doi/10.5555/2342788.2342804
Jagannath VGligoric MJin DLuo QRosu GMarinov DGyimóthy TZeller A(2011)Improved multithreaded unit testingProceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering10.1145/2025113.2025145(223-233)Online publication date: 5-Sep-2011
https://dl.acm.org/doi/10.1145/2025113.2025145
Palviainen MEvesti AOvaska E(2011)The reliability estimation, prediction and measuring of component-based softwareJournal of Systems and Software10.1016/j.jss.2011.01.04884:6(1054-1070)Online publication date: 1-Jun-2011
https://dl.acm.org/doi/10.1016/j.jss.2011.01.048
Carver RLei Y(2010)A class library for implementing, testing, and debugging concurrent programsInternational Journal on Software Tools for Technology Transfer (STTT)10.5555/3220893.322107012:1(69-88)Online publication date: 1-Feb-2010
https://dl.acm.org/doi/10.5555/3220893.3221070
Show More Cited By

Abstract

Cited By

Recommendations

Testing concurrent java components

Testing Concurrent Java Components

Testing atomicity of composed concurrent operations

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations