Race Detection and Fault Localization of Multi-threaded Programs
Date Issued
2010
Date
2010
Author(s)
Chen, Guan-Cheng
Abstract
Multi-threaded programming speeds computation up by executing threads in parallel on multi-core. Preventing data race conditions is important to guarantee the correctness of multi-threaded systems. A model-based testing technique for race conditions is proposed in this paper. We construct models for multi-threaded systems in OpenMP with techniques. Then we run test with our strategy on the models with a model simulator. A process execution strategy is designed for inducing data race in simulations. After the potential race condition detected, we will do fault localization by analyzing the execution sequence first. After analyzing, we will protect those chosen variables one at a time. After protecting variables and running tests again, we will localize the fault in original program. Then we can give a suggestion to the program user.
Subjects
race detection
fault localization
multi-threaded program
Type
thesis
File(s)![Thumbnail Image]()
Loading...
Name
ntu-99-R97943151-1.pdf
Size
23.32 KB
Format
Adobe PDF
Checksum
(MD5):0b765e288999e2a4360defca9c43a2ad