Structural Testing for Semaphore-Based Multithread Programs
This paper presents structural testing criteria for validation of semaphore-based multithread programs exploring control, data, communication and synchronization information. A post-mortem method based on timestamps is defined to determine the implicit communication among threads using shared variables. The applicability of the coverage testing criteria is illustrated by a case study.
Keywordssoftware testing multithread programs testing criteria
Unable to display preview. Download preview PDF.