|
Data race faults are the most common and difficult to debug faults in parallel programs, and they have characteristics such as multiple inconsistencies in running results, and the results of dynamic test detection are often very poor. According to the static analysis method, the data race in the project is detected, and the credibility of the project is improved, which has become a research hotspot in the field of software testing.This paper proposes a data race detection method based on parallel data stream on the parallel program implemented by OpenMP.Parallel program modeling is carried out first, and parallel data flow analysis is performed on the program according to the characteristics of the OpenMP guidance instruction, and the reading and writing relationship of variables in the parallel region is determined to provide data support for subsequent detection; afterwards, the data race model is constructed for the program, and the data race detection algorithm is carried out on the control flow node according to the read-write relationship of the variable, and the data race is detected according to the state change. In the comparative experiment with other data race tools, it is proved that this method is reliable and stable in detecting data race. |
|
Keywords:Software test; Static analysis; OpenMP; Parallel data flow |
|