On the effectiveness of contracts as test oracles in the detection and diagnosis of race conditions and deadlocks in concurrent object-oriented software

International Symposium on Empirical Software Engineering and Measurement

Volumn , Issue , 2011, Pages 10-19

  Araujo, Wladimir ^a   Briand, Lionel C ^b   Labiche, Yvan ^a  

^a CARLETON UNIVERSITY   (Canada)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

Concurrency; Design by contract; Java; Object oriented programming

Indexed keywords

ABILITY TESTING; COMPUTER SIMULATION LANGUAGES; HAZARDS AND RACE CONDITIONS; JAVA PROGRAMMING LANGUAGE; MODELING LANGUAGES; OBJECT DETECTION; SOFTWARE TESTING; SPECIFICATION LANGUAGES;

CONCURRENCY; DESIGN BY CONTRACTS; DETECTION AND DIAGNOSIS; FUNCTIONAL PROPERTIES; INDUSTRIAL CASE STUDY; JAVA; JAVA MODELING LANGUAGE; RUNTIME ASSERTION CHECKING;

OBJECT ORIENTED PROGRAMMING;

EID: 84858721032     PISSN: 19493770     EISSN: 19493789     Source Type: Conference Proceeding    
DOI: 10.1109/esem.2011.9     Document Type: Conference Paper

References (28)

1. B. Meyer, "Design by Contract, " IEEE Computer, vol. 25, Oct 1992, pp. 40-52.
2. B. H. Liskov and J. M. Wing, "A Behavioral Notion of Subtyping, " ACM Transactions on Programming Languages and Systems, vol. 16, 1994, pp. 1811-1841.
3. P. America, "Inheritance and Subtyping in a Parallel Object-Oriented Language, " Proc. ECOOP, 1987, pp. 234-242.
4. P. America, "Designing an Object-Oriented Programming Language with Behavioural Subtyping, " Proc. REX School/Workshop on Foundations of Object-Oriented Languages, 1990, pp. 60-90.
5. G. T. Leavens and W. E. Weihl, "Specification and Verification of Object-Oriented Programs Using Supertype Abstraction, " Acta Informatica, vol. 32, 1995, pp. 705-778.
6. K. Dhara and G. T. Leavens, "Forcing Behavioural Subtyping Through Specification Inheritance, " Proc. Intl Conf on Software Eng, 1996, pp. 258-267.
7. K. Arnold, J. Gosling, and D. Holmes, The Java Programming Language, 3rd ed. Reading, MA: Addison-Wesley, 2000.
8. G. T. Leavens, A. L. Baker, and C. Ruby, "Preliminary design of JML: A behavioral interface specification language for Java, " ACM SIGSOFT Soft Eng Notes, vol. 31, 2006, pp. 1-38.
9. G. T. Leavens, et al. (2009, JML Reference Manual. Available: http://www.eecs.ucf.edu/∼leavens/JML/jmlrefman.
10. Y. Cheon and G. T. Leavens, "A Runtime Assertion Checker for the Java Modeling Language (JML) " Proc. Intl Conf on Software Eng Research and Practice, 2002, pp. 322-328.
11. W. Araujo, L. Briand, and Y. Labiche, "Concurrent Contracts for Java in JML, " Proc. 19th ISSRE, 2008, pp. 37-46.
12. C. Flanagan and S. N. Freund, "Atomizer: a dynamic atomicity checker for multithreaded programs, " Proc. ACM SIGPLAN/SIGACT POPL, 2004, pp. 256-267.
13. R. Agrawal, A. Sasturkar, L. Wang, and S. D. Stoller, "Optimized Run-Time Race Detection And Atomicity Checking Using Partial Discovered Types, " Proc. 20th IEEE/ACM Intl Conf Automated Soft Eng, 2005, pp. 233-242.
14. S. Park, R. W. Vuduc, and M. J. Harrold, "Falcon: fault localization in concurrent programs, " Proc. 32nd ACM/IEEE Intl Conf on Software Eng - Vol. 1, 2010, pp. 245-254.
15. E. Rodríguez, et al., "Extending JML for Modular Specification and Verification of Multi-threaded Programs, " Proc. 19th ECOOP, 2005, pp. 551-576.
16. W. Araujo, L. Briand, and Y. Labiche, "Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language, " Proc. 33rd ACM/IEEE Intl Conf on Software Eng, 2011, pp. 786-795.
17. B. Jacobs, R. M. Leino, F. Piessens, and W. Schulte, "Safe concurrency for aggregate objects with invariants, " Proc. 3rd IEEE Intl Conf Soft Eng and Formal Meth, 2005, pp. 137-147.
18. P. Nienaltowski and B. Meyer, "Contracts for concurrency, " Proc. Intl Symp on Concurrency, Real-Time and Distribution in Eiffel-like Languages, 2006.
19. V. Arslan, P. Eugster, P. Nienaltowski, and S. Vaucouleur, "SCOOP - concurrency made easy, " in Dependable Systems: Software, Computing, Networks - Research Results of the DICS Program. vol. 4028, B. Meyer, et al., Eds., ed: Springer Verlag, Heidelberg, Germany, 2006, pp. 82-102.
20. A. Greenhouse, T. J. Halloran, and W. L. Scherlis, "Observations on the assured evolution of concurrent Java programs, " Science of Comp Prog, vol. 58, 2005, pp. 384-411.
21. S. Qadeer and D. Wu, "KISS: Keep it simple and sequential, " Proc. ACM SIGPLAN PLDI, 2004, pp. 14-24.
22. T. Elmas, S. Tasiran, and S. Qadeer, "VYRD: VerifYing concurrent programs by runtime refinement-violation detection, " Proc. ACM SIGPLAN PLDI, 2005, pp. 27-37.
23. C. Flanagan and S. N. Freund, "FastTrack: efficient and precise dynamic race detection, " Commun. ACM, vol. 53, 2010, pp. 93-101.
24. P. Ratanaworabhan, et al., "Detecting and tolerating asymmetric races, " SIGPLAN Not., vol. 44, 2009, pp. 173-184.
25. Y. Le Traon, B. Baudry, and J. M. Jezequel, "Design by contract to improve software vigilance, " IEEE Transactions on Software Engineering, vol. 32, Aug 2006, pp. 571-86.
26. B. Baudry, H. Vu Le, J. M. Jezequel, and Y. Le Traon, "Building trust into OO components using a genetic analogy, " Proc. ISSRE, 2000, pp. 4-14.
27. L. C. Briand, Y. Labiche, and H. Sun, "Investigating the Use of Analysis Contracts to Improve the Testability of Object- Oriented Code, " Software - Practice and Experience, vol. 33, June 2003, pp. 637-672.
28. W. Araujo, "Assessing the Effectiveness of Design Contracts as Test Oracles in the Detection of Faults in Concurrent Object-Oriented Software, " Ph. D. Thesis, Dept of Systems and Computer Eng, Carleton University, Ottawa, 2010.