Testing concurrent programs to achieve high synchronization coverage

2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings

Volumn , Issue , 2012, Pages 210-220

  Hong, Shin ^a   Ahn, Jaemin ^a   Park, Sangmin ^b   Kim, Moonzoo ^a   Harrold, Mary Jean ^b  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

^b Georgia Institute of Technology   (United States)

Author keywords

Concurrency; coverage; synchronization; thread interleaving

Indexed keywords

CODE COVERAGE; CONCURRENCY; CONCURRENT PROGRAM; CONCURRENT SOFTWARE; COVERAGE; OPEN-SOURCE PROGRAM; PROTOTYPE TOOLS; RANDOM TESTING; SEQUENTIAL SOFTWARES; THREAD INTERLEAVING;

JAVA PROGRAMMING LANGUAGE; SYNCHRONIZATION; TESTING;

SOFTWARE TESTING;

EID: 84865300095     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/04000800.2336779     Document Type: Conference Paper

References (22)

1. ConTest: A tool for testing multi-threaded java applications. https://www.research.ibm.com/haifa/projects/verification/contest/.
2. Our tool, subjects, and the results of the studies. http://pswlab.kaist. ac.kr/data/issta12.zip.
3. A. Bron, E. Farchi, Y. Magid, Y. Nir, and S. Ur. Applications of synchronization coverage. In Symp. Princ. Prac. of Paral. Prog. (PPoPP), 2005.
4. X. Cai and M. R. Lyu. The effect of code coverage on fault detection under different testing profiles. In Int'l Works. Adv. Model-based Test. (A-MOST), pages 1-7, 2005.
5. O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, and S. Ur. Multithreaded java program test generation. In Conf. Java Grande, 2001.
6. P. Joshi, M. Naik, C.-S. Park, and K. Sen. CalFuzzer: an extensible active testing framework for concurrent programs. In Int'l Conf. Comp. Aid. Veri. (CAV), 2009.
7. P. Joshi, C.-S. Park, K. Sen, and M. Naik. A randomized dynamic program analysis technique for detecting real deadlocks. SIGPLAN Not., (6), 2009.
8. M. Kim, Y. Kim, and G. Rothermel. Scalable distributed concolic testing approach: An empirical evaluation. In Int'l Conf. Softw. Test. Verif. Valid. (ICST), 2012.
9. B. Křena, Z. Letko, T. Vojnar, and S. Ur. A platform for Search-Based testing of concurrent software. In Works. Paral. Dist. Sys. Test. Analy. Debug. (PADTAD), 2010.
10. Z. Letko, T. Vojnar, and B. Křena. Coverage metrics for saturation-based and search-based testing of concurrent software. In Int'l Conf. Run. Veri. (RV), 2011.
11. S. Lu, W. Jiang, and Y. Zhou. A study of interleaving coverage criteria. In Euro. Softw. Eng. Conf. Symp. Found. Softw. Eng. (ESEC/FSE), pages 533-536, 2007.
12. M. Musuvathi and S. Qadeer. Iterative context bounding for systematic testing of multithreaded programs. SIGPLAN Not., (6), June 2007.
13. A. S. Namin and J. H. Andrews. The influence of size and coverage on test suite effectiveness. In Int'l Symp. Softw. Test. Analy. (ISSTA), pages 57-68, 2009.
14. S. Park, S. Lu, and Y. Zhou. CTrigger: exposing atomicity violation bugs from their hiding places. In Int'l Conf. Arch. Supp. Prog. Lang. Oper. Sys. (ASPLOS), 2009.
15. P. Piwowarski, M. Ohba, and J. Caruso. Coverage measurement experience during function test. In Int'l Conf. Softw. Eng. (ICSE), pages 287-301, 1993.
16. K. Sen. Race directed random testing of concurrent programs. In Int'l Conf. Prog. Lang. Desig. Impl. (PLDI), 2008.
17. E. Sherman, M. B. Dwyer, and S. Elbaum. Saturation-based testing of concurrent programs. In Euro. Softw. Eng. Conf. Symp. Found. Softw. Eng. (ESEC/FSE), 2009.
18. S. D. Stoller. Testing concurrent java programs using randomized scheduling. In Runt. Veri. Works. (RV), 2002.
19. E. Trainin, Y. Nir-Buchbinder, R. Tzoref-Brill, A. Zlotnick, S. Ur, and E. Farchi. Forcing small models of conditions on program interleaving for detection of concurrent bugs. In Par. Dist. Sys. Test. Analy. Debug. (PADTAD), 2009.
20. C. Wang, M. Said, and A. Gupta. Coverage guided systematic concurrency testing. In Int'l Conf. Softw. Eng. (ICSE), 2011.
21. Z. Xu, Y. Kim, M. Kim, G. Rothermel, and M. Cohen. Directed test suite augmentation: Techniques and tradeoffs. In Symp. Found. of Softw. Eng (FSE), 2010.
22. C. D. Yang, A. L. Souter, and L. L. Pollock. All-du-path coverage for parallel programs. In Int'l Symp. Softw. Test. Analy. (ISSTA), pages 153-162, 1998.