A study of interleaving coverage criteria

Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that the interleaving space is too large to be thoroughly explored. Practical yet effective interleaving coverage criteria are desired to systematically explore the interleaving space and effectively expose concurrency bugs. This paper proposes a concurrent program interleaving coverage criteria hierarchy, including seven (including five new) coverage criteria. These criteria are all designed based on different concurrency fault models. Their cost ranges from exponential to linear. Categories and Subject Descriptors: D.2.5 [Software Engineering]: Testing and Debugging?Testing tools General Terms: Reliability

• Type: Conference
• Year: 2007
• Where: SIGSOFT
• Authors: Shan Lu, Weihang Jiang, Yuanyuan Zhou
• Keywords: Effective Interleaving Coverage, Interleaving Coverage Criteria, Program Interleaving Coverage, SIGSOFT 2007, Software Engineering