Coverage Based Testing for Concurrent Software

Concurrent programming is playing key roles for improving software performance since multi-core processors are used on various computing system. However, there may be not standard methodology for testing concurrent program. Especially, it would be difficult to know the quality of concurrent software. In this research, one of quality indexes, which would be defined by our research, is concurrent coverage criteria and is used for concurrent software testing. The concurrent coverage criteria would intend to find concurrent software specific defects, such as race conditions.