Testing Technique for Shared Memory Concurrent Programs

doi:10.3969/j.issn.1006-2475.2016.08.009

Abstract

Abstract: As programming concurrent programs becomes pervasive, testing concurrent programs is also becoming important. This paper focuses on the concurrent programs that are based on shared memory. A new concurrent program testing technique is researched, and a tool called CPTester is designed for concurrent programs. CPTester uses redundancy analysis approach to avoid repeated results. Different from previous work, CPTester can generate the context information for every concurrent bug automatically, which is useful for programmers to understand and fix the concurrent bug. CPTester is evaluated on a number of real concurrent programs. Results show that CPTester can effectively detect the concurrent bugs in concurrent programs. Also, the context information about the root cause of each concurrent bug can be described.

Key words: concurrent program, shared memory, program testing, redundancy analysis, context information

CLC Number:

TP311.5

LI Jing, WANG Jian-ping. Testing Technique for Shared Memory Concurrent Programs[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2016.08.009.

References

[1] Poulsen K. Software Bug Contributed to Blackout[DB/OL]. http://www.securityfocus.com /news/8016, 2004-02-11.

[2] Gu Rui, Jin Guoliang, Song Linhai, et al. What change history tell us about thread synchronization[C]// Proceedings of the 10th Joint Meeting on Foundations of Software Engineering. 2015:426-438.

[3] Cai Yan, Wu Shangru, Chan W K. ConLock: A constraint-based approach to dynamic checking on deadlocks in multithreaded programs[C]// Proceedings of the 36th International Conference on Software Engineering. 2014:491-502.

[4] Sadowski C, Yi J. How developers use data race detection tools[C]// Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools. 2014:43-51.

[5] Maiya P, Kanade A, Majumdar R. Race detection for Android applications[C]// Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. 2014:316-325.

[6] Biswas S, Huang Jipeng, Sengupta A, et al. DoubleChecker: Efficient sound and precise atomicity checking[C]// Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. 2014:28-39.

[7] Yu Jie, Narayanasamy S, Pereira C, et al. Maple: A coverage-driven testing tool for multithreaded programs[C]// Proceedings of the 2012 ACM International Conference on Object Oriented Programming Systems Languages and Applications. 2012:485-502.

[8] Huang J, Zhang C. Persuasive prediction of concurrency access anomalies[C]// Proceedings of the 2011 International Symposium on Software Testing and Analysis. 2011:144-154.

[9] Musuvathi M, Qadeer S, Ball T, et al. Finding and reproducing heisenbugs in concurrent programs[C]// Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. 2008:267-280.

[10] Wu Zhendong, Lu Kai, Wang Xiaoping, et al. Collaborative technique for concurrency bug detection[J]. International Journal of Parallel Programming, 2015,43(2):260-285.

[11] Lu Kai, Wu Zhendong, Wang Xiaoping, et al. RaceChecker: Efficient identification of harmful data races[C]// Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed, and Network-based Processing. 2015:78-85.

[12] Kasikci B, Zamfir C, Candea G. RaceMob: Crowdsourced data race detection[C]// Proceedings of the 24th ACM Symposium on Operating Systems Principles. 2013:406-422.

[13] Lu Shan, Park S, Seo E, et al. Learning from mistakes: A comprehensive study on real world concurrency bug characteristics[C]// Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems. 2008:329-339.

[14] Wu Zhendong, Lu Kai, Wang Xiaoping. Identifying repeated interleavings to improve the efficiency of concurrency bug detection[C]// Proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing. 2015:175-188.

[15] Park S, Harrold M J, Vuduc R. Griffin: Grouping suspicious memory-access patterns to improve understanding of concurrency bugs[C]// Proceedings of the 2013 International Symposium on Software Testing and Analysis. 2013:134-144.

[16] Lee E A. The problem with threads[J]. Computer, 2006,39(5):33-42.

[17] Liu Peng, Dolby J, Zhang C. Finding incorrect compositions of atomicity[C]// Proceedings of the 9th Joint Meeting on Foundations of Software Engineering. 2013:158-168.