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. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1109/TSE.2003.1205182 | Software Engineering, IEEE Transactions |
Keywords | Field | DocType |
Java,concurrency control,multi-threading,object-oriented programming,program testing,software tools,ConAn tool,Concurrency Analyser,Java classes,asymmetric producer-consumer monitor,clock,concurrent Java component testing,concurrent programs,drivers,faults,multithreaded context,nondeterminism,synchronization,test sequence,tool support,unit testing | Programming language,Concurrency control,Concurrency,System testing,Computer science,Java concurrency,Unit testing,Real-time computing,Thread (computing),Concurrent computing,Java,Operating system | Journal |
Volume | Issue | ISSN |
29 | 6 | 0098-5589 |
Citations | PageRank | References |
45 | 1.82 | 39 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Brad Long | 1 | 45 | 1.82 |
Daniel Hoffman | 2 | 309 | 26.89 |
Paul Strooper | 3 | 701 | 68.70 |