A classification of concurrency failures in Java components

Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

Volumn , Issue , 2003, Pages

  Long, Brad ^a,b   Strooper, Paul ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b ORACLE CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; DISTRIBUTED PARAMETER NETWORKS; FLOW GRAPHS;

CONCURRENT PROGRAM; DETERMINISTIC EXECUTION; FAILURE CLASSIFICATION; JAVA COMPONENTS; NON DETERMINISM; SYNCHRONIZATION PRIMITIVE; TEST SEQUENCE;

JAVA PROGRAMMING LANGUAGE;

EID: 84855536176     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2003.1213512     Document Type: Conference Paper

References (28)

1. G. Andre ws. Concurrent Programming: Principles and Practice. Addison Wesley, 1991.
2. C. A rtho and A. Biere. Applying static analysis to large-scale, multithreaded Java programs. In Proceedings of the 2001 Australian Software Engineering Conf., pages 68-75. IE EE Comp Society, 2001.
3. A. Bechini and K-C. Tai. Design of a toolset for dynamic analysis of concurrent Java programs. In Proceedings of the 6th International Workshop on Program Comprehension, pages 190-197, 1998.
4. K. Beck. Extreme Programming Explained. A ddison Wesley, 2000.
5. P. Brinch Hansen. Reproducible testing of monitors. Software-Practice and Experience, 8:721-729, 1978.
6. D. J. Burns and R. M. Pitblado. A modified HAZOP methodology for safety critical assessment. In F. Redmill and T. Anderson, editors, Directions in Safety-critical Systems: Proceedings of the Safety-critical Systems Symposium. S pringer Verlag, 1993.
7. J-D. Choi, K. L ee, A. L oginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the 2002 Conference on Programming Language Design and Implementation (PLDI'02). A CM Press, 2002.
8. G. D elzannon, J-F. Raskin, and L. Van Begin. Towards the automated verification of multithreaded Java programs. In Proceedings of the Int. Conf. on Tools and Algorithms for Construction and Analysis of Systems (TACAS 2002), pages 173-187. Springer-Verlag, 2002.
9. O. E delstein, E. F archi, Y. Nir, G. Rats aby, and S. U r. Multithreaded Java program test generation. IBM Systems Journal, 41(1):111-125, 2002.
10. E. F archi, M. F actor, and Y. Talmor. Testing for timing-dependent and concurrency faults. In Proceedings of the 1998 International Conference on Software Testing Analysis and Review. S oftware Quality Engineering, 1998.
11. J. Gos ling and K. Arnold. The Java Programming Language. A ddison Wesley, 2nd edition, 1998.
12. J. G osling, B. Joy, G. S teele, and G. Bracha. The Java Language Specification. A ddison Wesley, 2nd edition, 2000. Also online at http://Java. sun. com/docs/books/jls/index. html as at Sep 2002.
13. C. Harv ey and P. Strooper. Testing Java monitors through deterministic execution. In Proceedings of the 2001 Australian Software Engineering Conference, pages 61-67, 2001.
14. J. Hatclif f and M. Dwyer. Using the Bandera tool set to model-check properties of concurrent Java software. In Proc. 12th International Conf. on Concurrency Theory, pages 39-58. Springer-Verlag, 2001.
15. K. Ha velund. Java PathFinder, a translator from Java to Promela. In Proceedings of 5th and 6th SPIN Workshops. S pringer-Verlag, 1999.
16. Sun Microsystems, Inc. Why are Thread. stop, Thread. suspend, Thread. resume and Runtime. runFinalizersOnExit deprecated? Available online at http://Java. sun. com/products/jdk/1. 2/docs/guide/ misc/threadPrimitiveDeprecation. html.
17. R. J effries. Extreme testing. Software Testing and Quality Engineering, pages 23-26, March 1999.
18. T. Katayam a, E. Itoh, and Z. F urukawa. Test-case generation for concurrent programs with the testing criteria using interaction sequences. In Proceedings of the 2000 Asia-Pacific Software Engineering Conference, pages 590-597. IE EE Computer Society, 2000.
19. B. L ong, D. Hoffman, and P. Strooper. A concurrency test tool for Java monitors. In Proc. 16th International Conf. on Automated Software Engineering, pages 421-425. IE EE Computer Society, 2001.
20. B. Long, D. Hoffman, and P. Strooper. Tool support for testing Java monitors. T echnical Report 01-21, Software Verification Research Centre, The University of Queensland, June 2001.
21. D. L ong and L. A. Clark e. Data flow analysis of concurrent systems that use the rendezvous model of synchronisation. In Proceedings of the Symposium on Software Testing, Analysis and Verification (TAV4), pages 21-35. A CM Press, 1991.
22. G. Naum ovich, G. A vrunin, and L. Clarke. Data flow analysis for checking properties of concurrent Java programs. In Proceedings of the 1999 International Conference on Software Engineering, pages 399-410. IE EE Computer Society, 1999.
23. J. L. Peterson. Petri nets. ACM Computing Surveys, 9(3):223-252, 1977.
24. S. Sa vage, M. Burro ws, G. Nels on, P. Sobalvarro, and T. Anders on. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391-411, November 1997.
25. S. D. Stoller. Testing concurrent Java programs using randomized scheduling. In Klaus Havelund and Grigore Rosu, editors, Electronic Notes in Theoretical Computer Science, volume 70. E lsevier Science Publishers, 2002.
26. C. Szypers ki and C. Pfister. Special issues in object-oriented programming-ECOOP 96 workshop reader. In M. Muhlhauser, editor, Workshop on Component-Oriented Programming, Summary. dpunkt Verlag, Heidelberg, 1997.
27. R. N. Taylor, D. L. Levine, and C. D. Kelly. Structural testing of concurrent programs. IEEE Transactions on Software Engineering, 18(3):206-215, 1992.
28. W. V isser, K. Ha velund, G. Brat, and S. P ark. Model checking programs. In Proc. 15th International Conf. on Automated Software Engineering. IE EE Computer Society, 2000.