摘要 |
A coverage technique for testing a multithreading environment is provided. The coverage technique schedules the execution order of mutually exclusive synchronization block pairs, wherein the mutually exclusive synchronization block pairs are defined by associating synchronization blocks that are detected from a plurality of threads each including synchronization blocks and can be simultaneously executed, to induce execution conflictions of the mutually exclusive synchronization blocks, thereby efficiently testing the corresponding multi-threaded application.
|